reserve x,y for Real;
reserve z,z1,z2 for Complex;
reserve n for Element of NAT;

theorem
  exp(0c) = 1 by SIN_COS:49,51;
