theorem Th62: :: MATGRP_0:50

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