a prover