reserve A,B,C for Ordinal,
        o for object,
        x,y,z,t,r,l for Surreal,
        X,Y for set;

theorem Th58:
   x * (-y) = -(x*y) & (-x) * y = -(x*y) & (-x) * (-y) = x*y
proof
  (-x) * (-y) = - ( (-x)*y) by Lm8;
  then (-x) * (-y) = - -(x*y) by Lm8;
  hence thesis by Lm8;
end;
