How to prove your greedy choice property? Of course,we must prove that a greedy choice at each step yields a globally optimal solution.Typically,as in the case of Theorem 16.1,the proof examines a globally optimal solution to some subproblem.It then shows how to modify the solution to substitute the greedy choice for some other choice,resulting in one similar,but smaller,subproblem.How to prove your greedy choice property?