You need this...for a PhD thesis and you need to know where this is proven?!? Well, it is proven in pretty much EVERY single decent book in abstract algebra, algebraic number theory, or number theory...at least.
Doing such a thesis it won't be a problem for you to search in a maths library for books of these kinds.
Pd. By the way, the proof is quite standard and simple.