theorem Th28: :: MATRIXR2:28

for n being Nat
for A, B, C being Matrix of n,REAL holds (A * B) * C = A * (B * C)