Pour montrer que , on montre que , et que tout élément de s'écrit comme la somme d'un élément de et d'un élément de .