State And Prove Bayes Theorem