for s being FinSequence holds <*s*> is tabular