Soit un élément de , chercher un élément de et un élément de , tels que .

Pour cela appliquer à cette relation en utilisant les propriétés de et de .