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