Create Prover.java