Les proposicions prèvies (de demostració breu) que precedeixen un teorema de demostració més complicada són dites lemes, mentre que les conseqüències que es deriven del teorema són anomenades corol·laris. Hom anomena també teorema qualsevol conclusió general que ja ha estat demostrada. Una conjectura, en canvi, és una proposició que hom creu certa però en desconeix la demostració. Hi ha nombrosos teoremes coneguts, com ara el de Pitàgores, el de Tales, el del valor mitjà, etc. Dos teoremes són anomenats recíprocs quan cadascun té per hipòtesi la conclusió de l’altre.
m
Matemàtiques