In mathematics, informal logic and argument mapping, a lemma is a generally minor, proven proposition which is used as a stepping stone to a larger result. For that reason, it is also known as a "helping theorem" or an "auxiliary theorem". Wikipedia