theorem
  D1 tolerates D2 implies D1 +* D2 is NonatomicND of V,A
  proof
    assume
A1: D1 tolerates D2;
    then D1 \/ D2 = D1 +* D2 by FUNCT_4:30;
    hence thesis by A1,Th36;
  end;
