Udowodnij, że eliminacja zachowuje zbiór rozwiązań