May 17, 2026
Proof drama: side characters revolt
A Good Lemma Is Worth a Thousand Theorems
Math fans declare the “side notes” are the real stars and the big results just steal the glory
TLDR: The article argues that small, reusable ideas called lemmas often matter more than headline-grabbing theorems because they unlock tons of later discoveries. In the comments, readers loved the “lemmas do the real work” angle, mixing serious praise with jokes about abstract math quietly running everything from proofs to Big Tech.
A math essay praising the humble lemma—basically a useful stepping-stone idea inside a proof—sparked a delightfully nerdy identity crisis in the comments: are the flashy “big results” overrated, and are the so-called minor ideas actually doing all the heavy lifting? The original post goes all in on that argument, saying the best lemmas outlive fashionable theories and unlock huge discoveries, with Szemerédi’s Regularity Lemma held up as the ultimate backstage MVP because it helped power major breakthroughs and even work linked to multiple Fields Medals, math’s version of the Oscars.
But the real entertainment is the comment section turning this into a full-on “credit vs labor” debate. One commenter dropped the killer line that mathematicians often cite Zorn’s Lemma instead of the Axiom of Choice because the restated version is what actually helps people do things—which is basically the academic version of “middle management gets the praise, the workers do the job.” Another commenter flexed that the famously abstract Coyoneda lemma has been useful “in prod—at FAANG even!” Translation for non-tech readers: yes, one of these brain-bending ideas apparently escaped the classroom and made it into real Big Tech work. Cue shocked applause.
Then came the jokes. One person quipped that if lemmas are that valuable, homological algebra must be worth a million theorems, while others started listing favorite lemmas like people swapping fantasy draft picks. The mood is half reverence, half meme: the community is basically crowning lemmas the underrated character actors of mathematics and roasting theorems as glamorous attention-hogs.
Key Points
- •The article argues that lemmas often have greater long-term value in mathematics than theorems because they are broadly reusable rather than endpoints.
- •It highlights Schur's Lemma, the Lovász Local Lemma, and especially Szemerédi's Regularity Lemma as examples of influential lemmas.
- •The article states that Szemerédi's Regularity Lemma has contributed to at least two Fields Medals and was praised in consecutive MAA Hedrick lectures by Tim Gowers and Jennifer Chayes.
- •It says the Green-Tao result on primes in arithmetic progressions used a hypergraph extension of Szemerédi's Regularity Lemma.
- •Later updates add quotations from Paul Taylor and from Aigner and Ziegler's *Proofs from THE BOOK* describing lemmas as central mathematical tools with broad applicability, retrospective obviousness, and beauty.