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.