Fermat said he had a proof.