https://9lib.org/document/yd7mo721-let-g-planar-graph-cycles-sharing-edge-g.html