theorem
  Carrier(- L) = Carrier(L) by VECTSP_6:38;
