baileys lemma