for V, A being set
for n being Nat st 1 <= n holds
(FNDSC (V,A)) | (Seg n) IsNDRankSeq V,A