On veut montrer Soit un élément de On veut montrer que est aussi un élément de

Comme les hypothèses font intervenir et nous allons distinguer deux cas :