shorten proof of 3.11.4, close #520
Merge pull request #535 from mikeshulman/lemma3.11.4

shorten proof of 3.11.4, close #520