Se a função inversa de é a função , então tem-se