proof of Lemma 4 (k,l => k+1,l and k,l+1 => k,l)