lemma[Allemand]

nom
1 : a subsidiary proposition that is assumed to be true in order to prove another proposition