\end{pmatrix}</tex> .
(Произведение единичной матрицы на саму себя есть единичная матрица (<tex>I \times I = I</tex>); <tex>X</tex> - некоторые значения (не важны для доказательства теоремы, т.к. чтобы доказать теорему достаточно доказать, что несущественные состояния стремятся к 0)).
Продолжив вычисления, получим, что <tex>P^n</tex> имеет такой вид: <tex>\begin{pmatrix}
\end{pmatrix}</tex> .
Следовательно нам надо доказатьДокажем, что <tex>Q^n \xrightarrow{} 0</tex>, при <tex> n\xrightarrow{}+\infty</tex>.
