Judged: two independent readers; copy check clear.
lemma
lemma A lemma is an auxiliary theorem or assumed proposition inserted into a line of reasoning to provide support for another theorem.
A lemma is an auxiliary theorem or assumed proposition inserted into a line of reasoning to provide support for another theorem. In older usage, especially in Aristotle and Stoic logic, the term could also mean a premise, particularly the major premise of a syllogism.