Equivalence of Definitions of an Algebraically Closed Field