如何证明贪心算法