This theorem gives several equivalent ways to recognize an [algebraically closed field](/page/Algebraically%20Closed%20Field): every nonconstant polynomial has a root, irreducible polynomials are linear, and there are no proper algebraic field extensions. It is a standard bridge between polynomial factorization and [field extension](/page/Field%20Extension) language.