theorem Th63: :: SURREALC:63

for x, y being Surreal st |.y.| infinitely< |.x.| holds
( not x == 0_No & not x + y == 0_No & omega-y x = omega-y (x + y) & omega-r x = omega-r (x + y) )