Seja uma função injetora definida por

Tem-se que , e . Sabendo-se que , então é igual a