theorem Th33: :: SURREALO:33

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