Heine-Cantor Theorem