Bayes' rule


Bayes' rule is a theorem.