Update CSumsReals.v

fixed a minor typo
Merge pull request #1 from aa755/master

Update CSumsReals.v