Added lemma 6 and proof