Update Proof.java
Merge pull request #11 from irongavel/patch-9

added comment