intuition and proof for lemma 2