On algebraic integers

If $\eta_1,\dots,\eta_n$ are roots of a polynomial of degree $n$ irreducible over the field of rationals with the highest coefficient 1, then the sum$(\eta_1)^k+\dots+(\eta_n)^k$ is an integer for each natural $k$.