A sorting Trick is used into the main proof
The presented solution exploits the matroid structure of the spanning trees