独立である確率変数の基本公式