Lemma-1 Lemma-2 Lemma-4