7-letter word for a formula in mathematics deduced from other propositions
[DOC] [TLE] Answers to questions asked by students [PAR] (Mathematics does deal with other concepts that are _like_ equality, but not 
exactly the same.