theorem Th61: :: SURREALN:61

for x, y being Surreal st x == y & x is *real holds
y is *real