Fix an overfull hbox in the proof of Theorem 7.2.2.
Merge pull request #421 from zhenlin/formatting

Fix an overfull hbox in the proof of Theorem 7.2.2.