Théorème (n.m.)

proposition qui peut être démontrée par d'autres propositions posées comme vraies.