theorem Th30: :: SURREALR:30

for X, Y being set holds X ++ Y = Y ++ X