theorem Th11:
  numerator(p) = 0 iff p = 0 by XCMPLX_1:6;
