The nested intervals lemma