Update Proof.java
Merge pull request #38 from okinm117/patch-18

Update Proof With CO.java