Доброго времени суток,уважаемые!
К сожалению, не могу найти доказательство основной теоремы о стационарных распределениях для цепи Маркова с дискретным пространством состояний

Во всех найденных источниках теорема дается без доказательства.Не могли ли бы вы оказать мне в этом содействие?
Это вот эта? Что ЦМ неразложима и апериодична, имеет конечное среднее время возвращения в какое-то состояние тогда и т.т., когда существуют не зависящие от начального состояния предельные вероятности

, дающие стационарное распределение ЦМ? Доказательство есть, например, в "Теории вероятностей" А.А.Боровкова (параграф 4 гл. 12). Если интересует та же теорема для конечных ЦМ, то её док-во есть в учебнике "Курс теории вероятностей" Б.В.Гнеденко.