theorem Th50: :: MATGRP_0:39

for R being Ring
for I, i, j1, j2, k being Nat st j1 <> j2 holds
(canMat (i,j1,I,R)) * (canMat (j2,k,I,R)) = 0. (R,I)