theorem Th50: :: SURREALO:50

for x, y being Surreal st x is uSurreal & y is uSurreal & x == y holds
x = y