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