我好像有个很简洁的证法：在两个 4 度点的基础上加入一个点。它一定通过一个由 2 度点构成的链链接到另一个 4 度点，我们直接缩点，得到一个 6 度点，那么一定有解。