I think this it a typo.
Merge pull request #10 from jeffreyrosenbluth/patch-1

Typo in documentation: `doc/proofs.md`.