theorem Th56: :: SURREALC:56

for x being Surreal st not x == 0_No holds
omega-y x = omega-y (- x)