theorem Th11:
  cpx2euc(-z)= -cpx2euc(z)
proof
  -cpx2euc(z) =|[-(Re z), -(Im z)]| by EUCLID:60;
  hence thesis by Th10;
end;
