theorem Th49:
  - vector(LC_Z_Module(V),L) = - L
  proof
    thus - vector(LC_Z_Module(V),L) = (- 1.R) *
      (vector(LC_Z_Module(V),L)) by ZMODUL01:2
    .= - L by Th48;
  end;
