Intersection of subfields (in a larger field) is a subfield. Therefore, is a subfield (of the algebraic numbers, for example). Now is a cyclotomic extension and therefore is an abelian group. Since all subgroups of this group are normal it follows that if then is a Galois extension by the fundamental theorem. Since the rest follows.