ベイズの定理の証明

事象A1, A2, ..., Anが互いに排反な事象であり、かつA1, A2, ..., Anの総和が標本空間(sample space)を満たすとき、任意の事象Bに大して成り立つBayesの定理を証明する。