(n.) A preliminary or auxiliary proposition demonstrated or accepted for immediate use in the demonstration of some other proposition, as in mathematics or logic.
LEMMA
Meaning of LEMMA in English
Webster's English dictionary. Английский словарь Webster. 2012