theorem
  the addF of LC_RLSpace(V) = LCAdd(V);
