RE: Generalization Of Interesting Lemma