fix proof of 11.2.4, close #372
add 179b359 to errata
Merge pull request #398 from mikeshulman/theorem11.2.4

fix proof of 11.2.4, close #372