Pour montrer que est stable par , considérer un élément de , et montrer qu'il appartient à , en se servant de la définition de et de l'hypothèse .