theorem Th3: :: MATRIX_0:3

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