theorem Th1: :: MATRIX_6:1

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