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