final lemma completing the puzzle