theorem Th1: :: MATRIX_0:1

for D being non empty set
for d being Element of D holds <*<*d*>*> is tabular