theorem Th15: :: NOMIN_1:15

for V, A being set
for S, S1 being FinSequence st S IsNDRankSeq V,A & S1 c= S & S1 <> {} holds
S1 IsNDRankSeq V,A