theorem Th63: :: FUNCT_8:63

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