theorem Th32: :: NOMIN_1:32

for V, A being set
for D being NonatomicND of V,A
for d being set st d c= D holds
d is NonatomicND of V,A