En effet, on peut écrire .

Donc a pour argument modulo .

De plus .

Donc a pour argument modulo .

On sait que modulo .

Donc a pour argument modulo .

Comme et ne sont pas égaux modulo , n'a pas pour argument .