theorem Th6: :: NOMIN_1:6

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