A fixed point of satisfies
Its discriminant is
where was used. Thus the two roots are nonreal complex conjugates, and exactly one lies in the upper half-plane. Consequently every elliptic element of PSL2(R) fixes a point of .