1: \begin{definition}

2: The unique graph-labelled tree guaranteed by Theorem~\ref{thm:splitTheorem} is called the \emph{split-tree} for $G$, and is denoted $ST(G)$.

3: \end{definition}

4: