Prove exchange lemma: swapping preserves feasibility

Analyze the prove exchange lemma: swapping preserves feasibility.

Examples
Input: "proof_case_1"
Output: true
Hints

Prove exchange lemma: swapping preserves feasibility

Analyze the prove exchange lemma: swapping preserves feasibility.