Statement

Bayes Rule

For two events and we have following equality on their conditional probabilities

Proof

This follows from the definition of conditional probability