如何证明马尔可夫链是遍历的