Added a Latex-formatted version of the equivalence proof.