证明马尔可夫链