本结论在无向图下，边有边权，可以有重边自环。

设所有环的异或和构成空间 $V$，$d'(u,v)$ 表示 $u$ 到 $v$ 的任意路径的异或和。

$d(u,v)$ 表示 $u$ 到 $v$ 的最大路径异或和。

则 $d(u,v) = \max \{d'(u,v) \oplus x | x \in V \}$

本蒟蒻太菜了不会证明，求大佬们帮忙，谢谢。