theorem Th30: :: NOMIN_1:30

for V, A being set holds {} is NonatomicND of V,A