theorem Th10: :: NOMIN_1:10

for V, A being set holds (FNDSC (V,A)) . 2 = NDSS (V,(A \/ (NDSS (V,A))))