File:MathFoundations139 Isometry groups of the projective line II