https://123dok.net/document/zpnnevry-planar-graphs-with-maximum-degree-delta-geq-9-are-delta-plus-1-edge-choosable-short-proof.html