rectangle decomp. lemma