theorem
  0.LC_RLSpace(V) = ZeroLC(V);
