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