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)