If any edge from a given spanning tree T0 is contained in some minimum spanning tree T*, does this imply that T0 is also a minimum spanning tree ?
Right now, I'm trying to draw on paper some graphs to prove that it doesn't. Please correct me if it does, or help me find an example if it doesn't.
Thanks in advance.
P.S. smb please add MST or spanning-trees tag.