|part of speech:
||a proposition or idea that can be proven by other formulas or propositions in mathematics, or deduced from accepted premises or assumptions in logic.
That all right angles are congruent is a basic theorem of geometry.
||in algebra, a rule expressed as a mathematical equation or formula.
||axiom, hypothesis, postulate, premise, principle, truth