How do you spell Lemma

Available Definitions:
1) n. - A preliminary or auxiliary proposition demonstrated or accepted for immediate use in the demonstration of some other proposition, as in mathematics or logic.