Heine-Cantor theorem