Addition: Lemma 9 and its proof