since is irreducible, every root of (conjugates of ) is also an algebraic integer. now recall that we can write where

thus each is an algebraic integer. we also have and so because a rational algebraic integer is an integer.

one thing, you should've posted this question in number theory subforum.