This appears to be a case of the contagious C.S. disease first
exhibited by Babbage who applied for a grant for the
more ambitious project after the modest project failed.
When we can verify the theorems in Graham/Knuth/Pashniak
or those in, say, an introductory calc or graph theory
book, it might be reasonable to speak of Wiles theorem.