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