確率変数の変換 証明