7-letter word for a formula in mathematics deduced from other propositions
Math [PAR] In other words, if a non- mathematician were to ask a mathematician what it 
means ... it can be logically deduced from other established truths of mathematics
.