Para ver que esta condición es necesaria y suficiente tenemos que usar la siguiente expresión de la probabilidad condicionada: