Update Proof.java

FUCK MULTIPLE LETTER EXPRESSIONS! MWAHAHAHAHHAHAHA