sigma instead of exists in the proof of 10.5.8.(ix)
Merge pull request #694 from jledent/sigma

sigma instead of exists in the proof of 10.5.8.(ix)
Fix typo

Makes it way easier to read the sentence.
Merge pull request #695 from kirelagin/patch-1

Fix typo