Update Proof.java
Merge pull request #12 from irongavel/patch-10

Update Proof.java