Page "Cantor–Bendixson theorem" not found :(