theorem Th56: :: MATGRP_0:44

for R being Ring
for n being Nat
for r being Element of R
for i, j being Nat holds (canMat (i,j,n,R)) * r = r * (canMat (i,j,n,R))