7-letter word for a formula in mathematics deduced from other propositions
[DOC] [TLE] Theorem - Wikipedia [PAR] In mathematics, a theorem is a statement that has been proved on the basis of 
previously ....