All direct Möbius transformations which take into and into must have the form

for some constant . Since we have a Poincaré motion, the edgepoint must map into some edgepoint , i.e.

.

Take the modulus of both sides:

.

Then for some angle , since it has modulus , so the motion becomes

as claimed.