Definition:Algebraically Closed/Definition 3