 Nested interval theorem

If $I_1\supseteq I_2\supseteq \cdots$ are nonempty closed bounded intervals, then their intersection is nonempty. If their lengths tend to zero, the intersection consists of exactly one point.