proposition: Lemma prime296193496741 : prime 296193496741.
proof: Proof. apply (Pocklington_refl (Pock_certif 296193496741 2 ((2467, 1)::(2,2)::nil) 16834) ((Proof_certif 2467 prime2467) :: (Proof_certif 2 prime2) :: nil)). vm_cast_no_check (refl_equal true). Qed.
imports: PocklingtonRefl