Exchange-Argument Greedy

Prove a local swap can never make the answer worse — the usual way greedy correctness gets justified.