theorem :: SURREALR:14

for x, y being Surreal st x in born_eq_set y holds
- x in born_eq_set (- y)