Definition of "lemmas"

lemmas