theorem Th43: :: NOMIN_1:43

for x being object
for V, A being set st x in (ND (V,A)) \ A holds
x is NonatomicND of V,A