Corollary 1

(a) for i > j.

(b) .

(c) for i < j.

(d) The initial vector I is given by

Proof

These closed forms follow immediately from the lemma by induction on i and j. The only non-trivial point is the calculation of the initial vector I. However, applying the same recursion relations to the second row of M gives us I.