theorem Th58: :: FUNCT_8:58

signum . 0 = 0