theorem :: SURREALR:47

for x, y being Surreal st x - y == 0_No holds
x == y