theorem :: MATRIX_3:22

for K being commutative Ring
for A, B being Matrix of K st width A = len B & width B <> 0 holds
(A * B) @ = (B @) * (A @)