Lemma (Compact Implies Bounded) Lemma (Closed x Compact) Corollary (Chain of Inclusion) Lemma Heine-Borel Theorem