theorem Th62: :: SURREALC:62

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