Heine-Borel Theorem/Dedekind-Complete Space