Jensen's theorem states that for any nonconstant polynomial with real coefficients, every nonreal root of lies inside a disk determined by some pair of conjugate nonreal zeros of . Blue dots are roots of , orange dots are nonreal roots of , and gray disks are real roots of .