Lemma

Now, we show how this lemma can be used to prove our main theorem.

Lemma 5 cannot be generalized to arbitrary artinian rings.

"We finally did it, but we found the proof very, very hard," [Dr. Conway] said. "I remember my wife and I spending one entire afternoon just working on some tiny little lemmas involved in the proof."

Holonym: lexeme (holonymous sense)

For the second sense, where "word" means "item that should have its own dictionary entry," lexicographers sometimes use the term "lemma," but that has other meanings too, so among linguists the term lexeme is now standard, and I'll use it. For the different forms or shapes that belong to a lexeme we can use the term word-form.

For quotations using this term, see Citations:lemma.