Formula
From
the assertion follows.
Function
can be written as
Masterdocument for this section