theorem :: NOMIN_1:24

for V, A being set
for S1, S2 being FinSequence st S1 IsNDRankSeq V,A & S2 IsNDRankSeq V,A holds
S1 +* S2 IsNDRankSeq V,A by Th23;