Register

Lemma

Definition: A preliminary or auxiliary proposition demonstrated or
accepted for immediate use in the demonstration of some other
proposition, as in mathematics or logic.