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