An interface to Prover9. PV9 : thm list -> term -> thm