theorem Th27: :: NOMIN_1:27

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