theorem Th9: :: NOMIN_1:9

for V, A being set holds (FNDSC (V,A)) . 1 = NDSS (V,A)