theorem Th36: :: SURREALR:36

for x, y being Surreal holds {x} ++ {y} = {(x + y)}