Proving a Choice Is Part of an Optimal Solution - The Greedy Choice Property — Foundation of Greedy Algorithms | OneNoughtOne