Démontre que l'élimination préserve l'ensemble des solutions