Consider an LP in which the variable x_k is unrestricted in sign. Prove that by substituting x_k = x_k⁻ − x_k⁺, where xk− and x_k⁺ are nonnegative, it is impossible that the two variables replace one another in an alternative optimum solution.