public Prover(Prove <T> prove) { Prove = prove; }
public static Checker <T> Prove <T>(this Generator <T> generator, Prove <T> prove) => generator.Prove(new Prover <T>(prove));