I don't know if you're being sarcastic, but Wiles had to first prove the Modularity theorem for a certain subset of elliptic curves, which lay the ground work for proving the Modularity theorem in general. This is one of the major achievements of modern mathematics.