theorem :: MATRIX_3:33

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