An algebraic extension F of K is normal over K if and only if for every irreducible ∫ ϵ K[x]. ∫ factors in F[x] as a product of irreducible factors all of which have the same degree.