Let be an irreducible polynomial of degree over a field , and let be any polynomial in . Prove that every irreducible factor of the composite has degree divisible by .
Let be a root of , and let be the degree of over . Now , and moreover is a root of the irreducible polynomial . So has degree over . Graphically, we have the following diagram of fields.
By Theorem 14 in D&F, .