theorem Th57: :: MATGRP_0:45

for R being Ring
for n, i, j being Nat st i <> j holds
for r being Element of R holds (1. (R,n)) + (r * (canMat (i,j,n,R))) is invertible Matrix of n,R