Heine's Theorem


 * Heine-Borel Theorem on compact metric spaces
 * Heine-Cantor Theorem on uniform continuity