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.

Tonio

Pd. By the way, the proof is quite standard and simple.