theorem :: NOMIN_1:38

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