Bayes’ Theorem Statements Theorem. Let (Ω,F,P) be a probability triple and let A,B∈Ω with P(B)>0. Then, P(A∣B)=P(B)P(B∣A)P(A).