マルコフチェーンの証明なんですけど宜しくお願いします。
Let X1,X2,X3,,, be a Markov Chain
Let A and B be subset of the state space
Prove Pr[X2∈B|X1=x1,X0∈A]=Pr[X2∈B|X1=x1]

これで良いでしょうか?
LHS=Pr[X2∈B|X1=x1,X0∈A]=Σa∈AΣb∈B Pr[X2=b|X1=x1,X0=a],
by the Markov property
=Σa∈AΣb∈B Pr[X2=b|X1=x1]= Σb∈B Pr[X2=b|X1=x1]= Pr[X2∈B|X1=x1]=RHS
でしたすみません。