自明に証明されてる定理に文句つけて来て、彼は一体何がしたかったんだ…

任意の確率空間(Ω,F,P)と1,...,6の値を一様に取る任意の確率変数Xについて
P(X=1)=P(X∈{1})=P^X({1})=1/6