theorem :: MATRIXR2:27

for k, n, m, l being Nat
for A being Matrix of n,k,REAL
for B being Matrix of k,m,REAL
for C being Matrix of m,l,REAL st n > 0 & k > 0 & m > 0 holds
(A * B) * C = A * (B * C)