Proposizione: è un enunciato dimostrato, come un teorema, ma considerato di importanza o “peso” minore rispetto ai teoremi principali.

In pratica è un risultato vero e dimostrato, ma classificato dall’autore come meno centrale della categoria dei teoremi.