CONGRUENCE 103 Thus dk = lk_lmk —lkmk__1, whereOi kz n or —1