theorem Th59: :: FUNCT_8:59

for x being Real holds signum . (- x) = - (signum . x)