theorem Th48: :: SURREALO:48

for x being Surreal st x is uSurreal holds
born x = born_eq x