Wiktionary
sublemma
n. (context mathematics English) A statement proven for use in the proof of a more important statement, usually a lemma.