증명 (다음과 같이 행렬 A, B, C 정의)
(I)
(II)
(III)
좌 분배법칙만 증명
A가 정사각행렬(Square matrix)일 때만 다음과 같이 정의할 수 있다.
※ Markov chain : 현재 상태를 감안할 때 미래와 과거 상태가 독립적인 속성을 갖는 랜덤 변수들의 수열