
Por hipótesis tenemos una partición
del espacio muestral
. Por lo tanto el suceso
se puede escribir como
del espacio muestral
. Por lo tanto el suceso
se puede escribir como
ahora bien, los conjuntos
son dos a dos disjuntos, ya que en caso contrario los
tampoco lo serían. En consecuencia
son dos a dos disjuntos, ya que en caso contrario los
tampoco lo serían. En consecuencia
Por último, se sabe que
para cualesquiera sucesos
y
. Luego
para cualesquiera sucesos
y
. Luego
que era lo que se quería demostrar.