theorem Th20: :: NOMIN_1:20

for V, A being set
for S being FinSequence st S IsNDRankSeq V,A holds
S = (FNDSC (V,A)) | (dom S)