The Heine-Cantor Theorem