theorem Th2: :: NOMIN_4:2

for V, A being set holds {} in nonatomicsND (V,A)