working Proof.java