The fundamental theorem of algebra #
This file proves that every nonconstant complex polynomial has a root using Liouville's theorem.
As a consequence, the complex numbers are algebraically closed.
Fundamental theorem of algebra: every non constant complex polynomial has a root