Solution (source code)

= Solution

Choose a fixed point $p$ of a nonidentity transformation and conjugate by a Möbius map carrying $p$ to $\infty$; the conjugate lies in $S$. The identity already lies there.