A lemma is an intermediate step in proving a theorem that is useful in the proof but not noteworthy enough outside of the proof.