Existence of Algebraic Closure