Eliminates superfluous terminology.
Adds introductory paragraph to main lemma.