Dies folgt wegen | f | = sup ( f , − f ) {\displaystyle {}\vert {f}\vert ={\operatorname {sup} \,\left(f,-f\right)}} aus Fakt (1) und aus Fakt.
aus
Fakt (1)
und aus
Fakt.
