theorem :: MATRIX_0:14

for D being non empty set holds <*{}*> is Matrix of 1, 0 ,D