Proof:Bayes' rule

Proof:
By definition, and . Multiplying by the denominators gives . Dividing by gives the result.