Redirecting to Heine–Cantor theorem