theorem
  CAlgebra(A) is ComplexAlgebra;
