让 G 为一张图,e 为一条边,G/e 为将 e 合并后得到的相同图。则,命题:包含 e 的 G 的生成树与 G/e 的生成树之间存在双射。这个命题不难证明;最好自己理解证明过程,而不是只问别人它是否正确。显然,如果你有一棵包含 e 的 G 的生成树 T,则 T/e 是 G/e 的生成树。需要思考的是,你也可以反过来做。此外,正如 Adam 指出的那样,你必须小心处理具有平行边和从一个顶点到其自身的边的图。