itodoeblin lemma