Update Proof.java

FUCK MULTIPLE LETTER EXPRESSIONS! MWAHAHAHAHHAHAHA
Merge pull request #24 from irongavel/patch-14

Update Proof.java