马尔可夫链性质证明