The derivation. In German physics and engineering teaching, the Herleitung is required — you show how the formula follows from what came before.
A formula that is merely known is not yet owned. The student is asked to bring it down from its origins, which is what the word says.