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.
