Dimostra che l'eliminazione preserva l'insieme soluzione