theorem :: MATRIX_3:3

for K being Ring
for A, B, C being Matrix of K st len A = len B & width A = width B holds
(A + B) + C = A + (B + C)