theorem Th13: :: MATRIX_0:13

for m being Nat
for D being non empty set holds {} is Matrix of 0 ,m,D