Create Proof.java