theorem Th39: :: NOMIN_1:39

for x being object
for V, A being set st x in ND (V,A) holds
x is TypeSCNominativeData of V,A