theorem :: SURREALR:76

for x, y being Surreal holds (x + y) * (x + y) == ((x * x) + (y * y)) + ((x * y) + (y * x))