I need to show that, given a connected graph with distinct weights for every edge, every spanning tree (except from the minimum spanning tree) has an adjacent spanning tree with a smaller weight. w(T') < w (T), where T' is adjacent to the spanning tree T.
I'm stuck at proving that every single ST that is adjacent to the MST has an adjacent spanning tree (the MST, indeed). How can I show this with whatever non-MST adjacent spanning tree?