確率の一般乗法定理
概要
証明