Talk:Heine-Borel Theorem/Dedekind Complete Space

Quite convinced it's correct. The lemma is awkwardly phrased - it'd be more natural to state "... Then $b \ne \sup S$ or similar. Incidentally such a lemma has settled in my mind for proving my once-more-adapted alternative proof of the other theorem (what was the title again) and it may therefore serve its purpose as a genuine result, be it with a proper title or "Lemma 1" in my newly proposed paradigm. --Lord_Farin (talk) 21:18, 11 February 2013 (UTC)