theorem Th5: :: MATRIX_0:5

{} is tabular