Bayes' theorem
This is a special case of Bayes' theorem.