theorem Th5: :: NOMIN_2:5

for v being object
for V, A being set
for d being TypeSCNominativeData of V,A st v in V holds
{[v,d]} is NonatomicND of V,A