Изменения

<tex>P^{2} =</tex><tex>\begin{pmatrix}

(Произведение единичной матрицы на саму себя есть единичная матрица (<tex>I \times I = I</tex>); <tex>X</tex> - некоторые значения(не важны для доказательства теоремы, т.к. чтобы доказать теорему достаточно доказать, что несущественные состояния стремятся к 0))

Отсюда видноПродолжив вычисления, получим, что <tex>P^n</tex> имеет такой вид: <tex>\begin{pmatrix}

\end{pmatrix}</tex> , где <tex>X</tex> - некоторые значения.