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