Fix proof of theorem 7.7.4
more details in proof of 7.7.4
Merge pull request #669 from KevinQuirin/th774

Fix proof of theorem 7.7.4