A lemma is a type of shell that functions exactly like a Theorem, except has the word "Lemma" on top instead of "Theorem".