Bayes Theorem

For completeness, Bayes theorem is included;