theorem Th66:
  0.V in v + W iff v + W = the carrier of W
by Th61,Lm6;
