Further reworked proof of Lemma 6.5.4
a bit more explanation
remove unneeded \sm's
Merge pull request #572 from mikeshulman/lemma6.5.4

Further reworked proof of Lemma 6.5.4