Sabemos que si ${Xn}$ es una cadena de Markov, entonces $X{n+1}$ es independiente de lo últimos Estados $X0,\ldots,X{n-1}$ dado el actual estado $Xn$, que es %#% $ #% qué tal si le damos varios posibles estados actuales, todavía tenemos $$P{X{n+1}=j|X_0=i_0,\ldots,Xn=i}=P{X{n+1}=j|X_n=i}$ $ intuitiva es correcta, pero me pregunto cómo probar usando el definición original.