题目描述
我们知道
$$1^2+2^2+3^2+\cdots+n^2=\frac{1}{6}(2n^3+3n^2+n)$$
还有
$$1^3+2^3+3^3+\cdots+n^3=\frac{1}{4}(n^4+2n^3+n^2)$$
这些公式的结果都是一个多项式除以一个正整数,而这些公式对任何自然数都是成立的,说明这些多项式有特殊的性质。我们可以通过检查多项式是否永远是一个正整数的倍数来判断它是否有成为一个组合数学结论的资格。
给定 一个多项式(不含常数项)
$$f(x)=a_nx^n+a_{n-1}x^{n-1}+\cdots+a_2x^2+a_1x^1$$
以及 $m$,请判断对任何自然数 $n$,$f(n)$ 是否永远可以被 $m$ 整除。
输入
第一行:两个正整数 $n$ 与 $m$;
第二行:$n$ 个整数表示 $a_1,a_2,\cdots, a_n$。
输出
+ 如果输入的多项式永远是 $m$ 的倍数,输出 `Yes`;
+ 否则,输出 `No`。
样例输入输出
提示
+ 对于 $50\%$ 的数据,$1\leq n\leq 9$,$1\leq m\leq 100$,$-9\leq a_i\leq 9$;
+ 对于 $100\%$ 的数据,$1\leq n\leq 1000$,$1\leq m\leq 1000$, $-1,000,000\leq a_i\leq 1,000,000$。
样例1说明:这就是平方和公式,注意系数是按照从小到大顺序给出的。
样例2说明:多项式2x显然不可能永远是3的倍数