A quick, elegant derivation of Bayes' Theorem

See this post on LessWrong here.