Bayes, Satz von