不定方程非负整数解的个数