theorem Th41: :: SURREALO:41

for x, y being Surreal st x == y holds
Unique_No x = Unique_No y