THE NESTED INTERVAL LEMMA