Theorem 1.4.1 (Nested Interval Property) from Stephen Abbott's Understanding Analysis.
No download links available.