In matematica per lemma si intende un enunciato che viene dimostrato nell'ambito di una teoria formale e che in un'esposizione sistematica della teoria viene presentato come fatto preliminare ad un enunciato di maggiore evidenza cui si riserva il ruolo di teorema. Wikipedia