theorem Th34: :: MATRIXJ1:34

for D being non empty set
for d being Element of D
for M being Matrix of D holds block_diagonal (<*M*>,d) = M