theorem Th22: :: MATRIX_5:22

for K being Field
for M1, M2 being Matrix of K st width M1 = len M2 & len M1 > 0 holds
(0. (K,(len M1),(width M1))) * M2 = 0. (K,(len M1),(width M2))