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