Theorem 1 If t is a hyperbolic transformation, then
Since H(2) is generated by h-inversions, it is enough to consider the case
where t is an h-inversion.
An h-inversion t is the restriction of an inversion t*.
Suppose that H is an h-line.
Also, as t* is an inversion, it preserves angles. It follows that the