Teorema

Rappresenta un ragionamento logico che parte da un’ipotesi e si chiude con una tesi.

Il lemma di un teorema rappresenta l’esposizione che anticipa la dimostrazione mentre il corollario è l’esposizione dedotta che dimostra in maniera naturale il lemma stesso.