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.
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.