Any direct Poincaré motion preserves the circles that contain the rays forming the sides
of an angle . The other point on both circles is , so its image must be on both image circles. But both image circles also contain
the inverse of , i.e. , so . Now, since preserves cross ratios,

Take arguments of both sides; then .
|
 |