wagstaffs conjecture