Now, we show how this lemma can be used to prove our main theorem.
Source: tatoeba (367528)
Ranked by relevance and common usage.
OpenGloss and ConceptNet supply richer edges like generalizations, collocations, and derivations.
Showing 16 of 23 words.
Showing 16 of 29 words.
107 translations across 39 languages.
6 total sentences available.
Now, we show how this lemma can be used to prove our main theorem.
Source: tatoeba (367528)
Lemma 5 cannot be generalized to arbitrary artinian rings.
Source: tatoeba (387014)
"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."
Source: wiktionary
Holonym: lexeme (holonymous sense)
Source: wiktionary
Showing 4 of 6 available sentences.
Data sourced from Wiktionary, WordNet, CMU, and other open linguistic databases. Updated March 2026.