theorem :: MATRIX_0:15

for D being non empty set
for a being Element of D holds <*<*a*>*> is Matrix of 1,D