7-letter word for a formula in mathematics deduced from other propositions
[DOC] [TLE] Mathematical proposition proved by reasoning (*******) 7 letter ... [PAR] mathematical proposition proved by reasoning.