theorem Th41: :: MATGRP_0:30

for R being Ring
for I, K, i, k being Nat st not [i,k] in Indices (canMat (i,k,I,K,R)) holds
canMat (i,k,I,K,R) = 0. (R,I,K)