theorem Th64:
  - vector(LC_RLSpace(V),L) = - L
proof
  thus - vector(LC_RLSpace(V),L) = (- 1) * (vector(LC_RLSpace(V),L)) by
RLVECT_1:16
    .= - L by Th63;
end;
