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