不定方程x+2y+5z=100的非负整数解的个数为什么等价于2y+5z