theorem
  1.RAlgebra(A) = RealFuncUnit(A);
