试设计一个贪心算法，可以兑换1角5分、1角、5分和1分的硬币。并证明你所设计的算法可得到最优解。-Try to design a greedy algorithm, can be exchanged for one angle of 5, 1 pt, 5 points and 1 coin. And prove that you can design the optimal solution algorithm.