reserve a, b, c, d, x, y, z for Complex;

theorem Th42:
  - x.|.y = x.|.(-y)
proof
  thus - x.|.y = (-x).|.y .=x.|.(-y) by Th40;
end;
