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