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,