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.