Tweak intro and numbering in Appendix

Puts the appendix introductory paragraph in an abstract envinroment
and tags the equations in Theorems 6 and 7 so that they'll be easy
to match up with the numbers in the original paper.
Merge branch 'master' into lemma_6

Conflicts:
	Appendix.tex