Definition of "Lemma"

Lemma