Merge pull request #421 from zhenlin/formatting

Fix an overfull hbox in the proof of Theorem 7.2.2.
Changed some inappropriate uses of \text... to \math…