theorem Th98: :: MATGRP_0:85

for R being Ring
for z being Element of R st z in center R holds
for A being Matrix of R holds A * z = z * A