有方程 $p=\sum\limits_{i=1}^na_ix_i$，$p$ 满足什么条件时 $x_i$ 有正整数解（而非裴蜀定理的整数解）？如何证明？