If the paper contains three main theorems, each generalizing the previous, it is nice to be able to discuss them like this:

While the extension of Theorem 1 to Theorem 2 uses only complex analysis, in Theorem 3 we will have to employ some Ramsey theory.