theorem :: SURREALR:46

for x, y being Surreal holds
( x < y iff x - y < 0_No )