Theorem 1 If t is a hyperbolic transformation, then


Proof Since H(2) is generated by hinversions, it is enough to consider the case where t is an hinversion. An hinversion t is the restriction of an inversion t*.
Suppose that H is an hline.
Also, as t* is an inversion, it preserves angles. It follows that the
