butterfly lemma