theorem Th67: :: MATGRP_0:55

for R being Ring
for n, i, j being Nat st i < j holds
for r being Element of R holds (canMat (i,j,n,R)) * r is upper_triangular