加上一句 $a_i$ 一定为非负整数。