for f being FinSubsequence st f is FinSequence holds
Seq f = f