独立である確率変数に関する基本公式とその証明