theorem :: NOMIN_1:14

for V, A being set
for S being FinSequence st S IsNDRankSeq V,A holds
S <> {} ;