Bayes' theorem
This result is used to give the extended form of Bayes' theorem,