theorem Th1: :: NOMIN_4:1

for V, A being set
for d being object st d in nonatomicsND (V,A) holds
d is NonatomicND of V,A