theorem Th34: :: SURREALO:34

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