確率変数の変換の公式とその証明