theorem Th38:
  Carrier(- L) = Carrier(L)
proof
  Carrier(- L) c= Carrier(L) & Carrier(-- L) c= Carrier(-L) by Th28;
  hence thesis;
end;
