finished pieces for claim 1 lemma 6.1