-Teorema de la probabilidad total

El teorema de la probabilidad total afirma lo siguiente: Sea una partición sobre el espacio muestral y sea un suceso cualquiera del que se conocen las probabilidades condicionales , entonces la probabilidad del suceso viene dada por la expresión:


Por hipótesis tenemos una partición  A_1, A_2, \ldots , A_n  del espacio muestral \Omega. Por lo tanto el suceso B se puede escribir como

ahora bien, los conjuntos B\cap A_i son dos a dos disjuntos, ya que en caso contrario los A_i tampoco lo serían. En consecuencia
Por último, se sabe que P(C \cap D) = P(D | C)P(C) para cualesquiera sucesos C y D. Luego
que era lo que se quería demostrar.