In mathematics, a lemma is an auxiliary theorem which is typically used as a stepping stone to prove a bigger theorem. See lemma for a more detailed explanation.