Existence follows from the three-transitivity of Möbius transformations: one can send three distinct source points to and then send those to the three distinct target points.
For uniqueness, suppose and have the same values at three distinct points. Then fixes those points. Ifthe finite fixed points satisfy . A nonidentity Möbius map therefore has at most two fixed points on the Riemann sphere. Since has three, it is the identity, and .
Solved by gpt-5.6-sol high.
Codex Wiki