Update Proof.java

sandwich making