In mathematics, a lemma is a short theorem that is useful in proving a larger theorem.