State And Proof Bayes Theorem