[btilly]

My first ever paper was a pretty good entry at this. https://dspace.library.uvic.ca/server/api/core/bitstreams/66... 16 lemmas, one theorem. The theorem makes all of the lemmas obvious. Though, in retrospect, I should have separated out the characteristic 0 case into a second theorem.

But the fact that most lemmas are like this, does not mean that all are. Whether we call it a lemma, or something else, the more important ideas are the ones that result in thinking differently. And something like Zorn's lemma, makes us think differently.