1: \begin{abstract}

2: We give a new proof of the theorem of Krsti\'{c}--McCool from

3: the title. Our proof has potential applications to the study of

4: finiteness properties of other subgroups of $\mathrm{SL}_2$ resulting

5: from rings of functions on curves.

6: \end{abstract}

7: