Step 1: Name optimal solution

Step 2: Name greedy strategy

Step 3: Name greedy 1st choice, a1

Step 4: Prove A = OPT - {O1} + {a1} is optimal