代数基本定理作为加强命题条件的退让，希伍德将“四色猜想”改为“五色定理”