theorem :: MATRIX_4:50

for K being Ring
for M being Matrix of K holds (0. (K,(len M),(width M))) - M = - M