I think I get a solution, but I'm not sure. Suppose for absurd that $$\left\{ p\, primes:\, p\mid\underset{i=1}{\overset{n}{\sum}}a_{i}^{k},\, k\in\mathbb{N}\right\} =\left\{ p_{1},\dots,p_{r}\right\}.$$Let $a_{1}+\dots+a_{n}=c$ and let $b_{i}$ the order of $c$ as a element of...