给定一个模数 $P$，数 $w$ ，以及 $n$ 个数 $a_i$，每个数都可以选无数个。

在dxy大佬的课件上看到一个解释是，选择的 $a_i$ 一个集合满足 $\gcd(a_i,P)|w$ 的时候，可以凑出 $w$ 。

手模了几个小样例发现是对的，不知道原理/fad

求dalao证明一下正确性/yiw