P_x [ A ]=P_mu [ A | X_0 = x ]


이게 성립한다는거 어떻게 보임? 일단 성립하긴 하는거?