theorem Th31: :: NOMIN_1:31

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