TをXの確率変数として、Pr(x,t)を考えます。
XとYは離散確率変数とします。
T(x)=tとならないxに対して、Pr(x,t)=0となることの証明と、
T(x)=tとなるxについては、Pr(x,T(x))=Pr(x)となることの証明を教えて下さい。