theorem :: SURREALR:31

for x, y being Surreal holds born (x + y) c= (born x) (+) (born y)