Sample a uniform spanning tree . Rooting Wilson's algorithm at shows that the path in oriented from to has the law of . Rooting the same uniform law at shows that the same undirected path with its orientation reversed has the law of . Consequently
This is reversibility of loop-erased random walk.