正则图覆盖的边 Kempe 等价

设 $G$ 为一个具有正常边着色的有限 $d$-正则图。边 Kempe 切换是沿着某个双色环切换两种颜色后得到的 $G$ 的新正常边着色。本文证明，若将 $G$ 替换为一个合适的有限覆盖图，则任何其他边着色均可通过执行有限次边 Kempe 切换得到。所需的覆盖度被一个仅依赖于 $d$ 的常数所界定。