Coxeter- Theorem 5.21

5.21 [i]The product of two parabolic projectivies having the same invariant point is another such parabolic projectivity (if it is not merely the identity).[/i] PROOF. Clearly, the common invariant point [i]C[/i] of the projectivies is still invariant for the product, which is therefore either parabolic (having one invariant point) or hyperbolic (having two invariant points). The latter possbility is excluded by the following argument. If any other point[i] A[/i] were invariant for the product, the first parabolic projectivity would take [i]A[/i] to some different point [i]B[/i], and the second would take [i]B[/i] back to [i]A[/i]. Thus the first would be [i]ACC[/i] projective to [i]BCC[/i], the second would be its inverse [i]BCC[/i] projective to [i]ACC[/i], and the product would not be properly hyperbolic but merely the identity. So the product of[i] ACC[/i] projective to[i] A1CC[/i] and [i]A1CC[/i] projective to [i]A2CC[/i] is[i] ACC[/i] projective to[i] A2CC[/i] with a continuing string of such parabolic relationships. (Note: the relationship is written out as "[i]ACC[/i]" because this format shows the pair of corresponding points [i]A,C[/i] with the associated invariant point [i]C[/i])