theorem Th70: :: SURREALC:70

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