Proof of Bayes' rule — LessWrong