Define by . The multiplication calculation for makes a homomorphism, and every Möbius transformation has a representing matrix in , so is surjective.

A matrix lies in exactly when its image fixes , , and . The three-point lemma gives , , and . Thus is the subgroup of scalar matrices identified with . The isomorphism theorem then gives .