Modified lemma to be more generic