theorem Th5: :: RFUNCT_1:5

for f being complex-valued Function holds
( (abs f) " {0} = f " {0} & (- f) " {0} = f " {0} )