diagram lemma