Long Exact Sequence: main lemma nof complete.
Drew main LES corollaries; also, various cleanup.