Abel lemma