Proof of Bayes Theorem