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.
38 translations across 32 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.