theorem Th59: :: MATGRP_0:47

for R being Ring
for n, i, j being Nat
for A being Matrix of n,R holds
( A * ((1. (R,n)) + (canMat (i,j,n,R))) = ((1. (R,n)) + (canMat (i,j,n,R))) * A iff A * (canMat (i,j,n,R)) = (canMat (i,j,n,R)) * A )