theorem
  1.CRing(A) = ComplexFuncUnit(A);
