dada la situación del gráfico:
Es decir una familia de sucesos { Ai} que constituyen una partición, y un suceso B con P(B) > 0 y siendo P( Ai) y P (B/ Ai) conocidas para todo valor de i;
se cumple que: 
basándonos en la plicación del teorema del producto en el numerador y el teorema
de la probabilidad total en el denominador . ( ir a script de T. Bayes)