theorem Th27: :: MATGRP_0:18

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