A finite normal extension K of a field F is abelian over F if G(K/F) is an abelian group. Show that if K is abelian over F and p is a normal extension of F, where F ≤ E ≤ K, then K is abelian over E and E is abelian over F.