[proof reading search] completed the proof of optimal substructure for change-making