Demuestra el teorema de Bayes a partir de la definición de probabilidad condicional