theorem :: SURREALR:19

for X, Y being surreal-membered set holds
( X << Y iff -- Y << -- X )