theorem Th44: :: MATRIX_4:44

for K being Ring
for M1, M2 being Matrix of K st len M1 = len M2 & width M1 = width M2 holds
(- M1) - M2 = (- M2) - M1