theorem
  Carrier(- L) = Carrier(L) by Th42;
