theorem Th18: :: MATRIXR2:18

for K being Ring
for m being Nat
for A, C being Matrix of K st width A > 0 holds
A * (0. (K,(width A),m)) = 0. (K,(len A),m)