simple proof for bayes theorem