theorem :: MATRIX_0:6

<*{},{}*> is tabular by Th4, CARD_1:27;