wagstaff's conjecture