theorem Th56: :: FUNCT_8:56

for x being Real st x > 0 holds
signum . x = 1