Se f(x) = x, então g(x) = x. Se f(x) ≠ x, então ou g(x) = x, ou h(x) = x, ou ambas as funções, g(x) e h(x) são iguais a x, ou seja, g(x) = x e h(x) = x. Se h(x) ≠ x, então g(x) ≠ x. Se h(x) = x, então f(x) = x. Logo,