complex.exists_root
The fundamental theorem of algebra. Every non constant complex polynomial has a root