Hard disagree. Group theory, for example, is not just another language, but is absolutely necessary for proving Abel's theorem. So the question was:

Group theory -> Abel's theorem

Category theory -> ???

(below I got the answer 'Weil conjectures')