Fundamental theorem of algebra/Nonconstant polynomial/Zero/Fact