theorem -
A syntactically correct expression that is deducible from the given axioms of a deductive system.
Verb
theorem -
To formulate into a theorem.
Wikipedia
A theorem is a statement which has been proven on the basis of previously established statements, such as other theorems, and previously accepted statements, such as axioms. The derivation of a theorem is often interpreted as a proof of the truth of the resulting expression, but different deductive systems can yield other interpretations, depending on the meanings of the derivation rules. Theorems have two components, called the hypotheses and the conclusions.
OmegaWiki Dictionary
Ω
theorem A mathematical statement of some importance that has been proved to be true.