Theorem § For each assume we are given a closed interval . Also assume each contains . Then the nested sequence of closed intervals has a non-empty intersection. Proof § We need an , so for every . Every is an upper bound of . Thus, by Axiom of Completeness, exists. Let . Consider . b_n \implies x \in I_n$