Demuestra que la eliminación preserva el conjunto solución: operación por operación