package prover