Considere as funções f, g : ℜ → ℜ dadas por f(x) = ax + b e g(x) = cx + d, com a, b, c, d ∈ ℜ, a ≠ 0 e c ≠ 0. Se f−1 ◦ g−1 = g−1 ◦ f−1 , então uma relação entre as constantes a, b, c e d é dada por
b + ad = d + bc.
d + ba = c + db.
a + db = b + cd
b + ac = d + ba.
c + da = b + cd.