theorem Th36: :: NOMIN_1:36

for V, A being set
for D1, D2 being NonatomicND of V,A st D1 tolerates D2 holds
D1 \/ D2 is NonatomicND of V,A