RMM 2016 Problem 6

A set of $n$ points in Euclidean 3-dimensional space, no four of which are coplanar, is partitioned into two subsets $\mathcal{A}$ and $\mathcal{B}$. An $\mathcal{A B}$-tree is a configuration of $n-1$ segments, each of which has an endpoint in $\mathcal{A}$ and the other in $\mathcal{B}$, and such that no segments form a closed polyline. An $\mathcal{A B}$-tree is transformed into another as follows: choose three distinct segments $A_{1} B_{1}, B_{1} A_{2}$ and $A_{2} B_{2}$ in the $\mathcal{A B}$-tree such that $A_{1}$ is in $\mathcal{A}$ and $A_{1} B_{1}+A_{2} B_{2}>A_{1} B_{2}+A_{2} B_{1}$, and remove the segment $A_{1} B_{1}$ to replace it by the segment $A_{1} B_{2}$. Given any $\mathcal{A B}$-tree, prove that every sequence of successive transformations comes to an end (no further transformation is possible) after finitely many steps.