Fundamental Theorem of Algebra/Definition

Any nonconstant polynomial whose coefficients are complex numbers has at least one complex number as a root.