theorem :: MATRIX_0:7

for D being non empty set
for a1, a2 being Element of D holds <*<*a1*>,<*a2*>*> is tabular