Fix type typo in the proof of theorem 2.6.4
Merge pull request #337 from rpglover64/master

Typo in the proof of theorem 2.6.4