7-letter word for a formula in mathematics deduced from other propositions

Tap or click on "Show Me The Correct Answer!" and you will get the correct answer, or just try to answer without any help.

We are waiting for your answer...