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