theorem Th99: :: MATGRP_0:86

for R being Ring
for n being Nat
for z being Element of R st z in center R holds
for A, B being Matrix of n,R st A * B = B * A holds
A * (z * B) = (z * B) * A