Added a pdf version of the equivalence proof generated from the .tex file in master.