I wish to prove that all Möbius transformation raking the unit disk into itself are of the form $k\frac{z-l}{1-z\bar{l}}$ where $|k| = 1$.
More specifically, I ask, in addition to the main question above, the maximum modulus principle implies that the analytic continuation of such mobius transform has to carry the unit circle to itself.
I realize that numerous posts like this and this already seems to have an answer here, but I couldn't find a satisfactory answer yet. Letting $T(z)$ be an arbitrary Möbius transformation that preserves the unit disk, and writing $T(z) = \frac{az+b}{cz+d}$ with (without loss of generality) $a=0$ or $a=1$, we must somehow show that $T$ is of the form specified above... It seems like we have to use the maximum modulus principle, yet all the answers from other posts did not elaborate on how this would be used.
Please note that my question only asks for one direction and not the other, and does NOT ask to show that all conformal automorphism of the unit disk are of this form.