nested intervals theorem