Re: A diagram lemma