Finish the proof of Theorem 2 by showing assertion 2: If \((u, v)\) is an omitted edge and \(S(u, v)=0\), then the spanning tree created by substituting \((u, v)\) for the edge \(\left(u_{0}, v\right)\) currently in \(T^{*}\) is maximal.