The Heine–Cantor theorem