theorem Th58: :: SURREALR:58

for x, y being Surreal holds
( x * (- y) = - (x * y) & (- x) * y = - (x * y) & (- x) * (- y) = x * y )