Altered label to match filename.
Added theorem package. Some macros don\'t work for some reason. Fix if possible.
Mocked up for lemma and proof of thm. 24.1.