Bayes' theorem
belonging to the formula_16 subset. Recursive application of Bayes' theorem leads to: