Es ist
Die Summanden links sind gleich 0 {\displaystyle {}0} , da a i k = 0 {\displaystyle {}a_{ik}=0} für k ≤ i + d {\displaystyle {}k\leq i+d} ist. Es sei nun j ≤ i + d + e + 1 {\displaystyle {}j\leq i+d+e+1} vorausgesetzt. Dann gilt für die Indizes im rechten Summanden
und
also ist b k j = 0 {\displaystyle {}b_{kj}=0}