theorem Th2: :: MATRIX_6:2

for K being Ring
for A being Matrix of K holds A * (0. (K,(width A),(width A))) = 0. (K,(len A),(width A))