theorem
  uu is Element of CMSpace(V,x,y) iff uu is VECTOR of V;
