Satz von Bayes
This is a special case of Bayes' theorem.