複素数$a_1,a_2,\cdots,a_n$を解に持つ$n$次の整数係数多項式が存在する時、任意の整数$i$に対して$\displaystyle S_i= \sum_{k=1}^{n}a_k^i$が整数となることを示せ。