Abel's irreducibility theorem states that if one root of the equation , which is irreducible over a field,
is also a root of the equation in , then all the roots of the irreducible
equation
are roots of . Equivalently, can be divided by without a remainder,