PROVER

Definition of PROVER