Bayes theorem on probability