Need to prove 1) optimal substructure and 2) greedy choice property.
The proof of 2 typically involves: