7-letter word for a formula in mathematics deduced from other propositions
a proposition that can be deduced from the premises or 
assumptions of a ... Another part of the statement of the theorem may now be 
formulated.