theorem Th56: :: SURREALN:56

for r being Real holds - (uReal . r) == uReal . (- r)