After writing the comment, Fermat published a proof of a special case of the theorem. He realized that his general proof didn't work. So there was no marvelous proof, after all.

By submitting this form, you accept the Mollom privacy policy.