for q being FinSubsequence ex p being FinSequence st q c= p