丞相买鸡与不定方程组