https://9lib.org/document/z3dj9d79-hamilton-cycles-split-graphs-large-minimum-degree.html