Remove unused variable
ECPP: check all factors for a discriminant and select smallest.  Smaller proofs, maybe faster, maybe slower.