theorem :: NOMIN_2:8

for V, A being set
for d being NonatomicND of V,A holds d is TypeSCNominativeData of V,A ;