On constate, après calculs utilisant la distributivité de la loi , et le fait que est l'élément neutre pour cette loi, que .

Donc on a ici : .

Plusieurs cas sont possibles :