That is a great point. I watched a documentary on the person who finally solved the proof (twice!) and I don’t remember his name, but I do recognize Fermat’s theorem.