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