right so the point is that those elements of which do fix the real line are the real homographies this is the way to find out that the isometry group of the hyperbolic plane is i don't know of another way to prove this offhand it's also the view universally taken in the study of riemann surfaces and analytic number theory