#2's Lemma

#2's Lemma