Proving Equality of Fields with Distinct Primes in Z

[T-O7]

Hey,
Does anyone know how to show that these fields are equal:
Q(\sqrt{p_1},\sqrt{p_2},...,\sqrt{p_k})=Q(\sqrt{p_1}+\sqrt{p_2}+...+\sqrt{p_k}),
where p_1,...,p_k are distinct primes in Z.

One inclusion is clear to me, but I'm having problems showing they're equal. Thanks!

 

[Hurkyl]

Induction on k, maybe?

 

[T-O7]

Right...note to self, always remember about induction. Thank you.
(although my solution using induction looks super messy)