Update 2000-01-01-contract.md
Merge pull request #44 from stevenNow/master

Proof 2000-01-01-contract.md