theorem :: MATRIX_0:16

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