Remarquer que admet l'écriture , où le -ième est considéré en tant qu'élément de .

Pour établir la condition suffisante, prendre deux écritures d'un élément de , comme somme d'éléments de .