theorem
  Carrier(L1 - L2) c= Carrier(L1) \/ Carrier(L2) by VECTSP_6:41;
