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 .