Add .sty file to project (note symbolic link in texmf directory).
Clean up additional lemmas a bit.
Updates to section 2.
Add proof for section 3 corollary.