theorem Th41: :: NOMIN_1:41

for V, A being set
for D being NonatomicND of V,A holds D in ND (V,A)