theorem Th61: :: MATGRP_0:49

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