Teljes valószínűség tétele, Bayes tétel | mateking