Added list of lemmas, and reference to this in Proof section.