Show "equivalence" for U (broken)

Due to Brande's assumption on no multiple edges (v1, v2) with the same
weight.