theorem Th28: :: NOMIN_1:28

for V, A being set holds <*(NDSS (V,A)),(NDSS (V,(A \/ (NDSS (V,A)))))*> IsNDRankSeq V,A