theorem Th26: :: MATGRP_0:17

for R being Ring
for r1, r2 being Element of R
for A being Matrix of R holds (r1 * A) * r2 = r1 * (A * r2)