Completeness of the Theory of Algebraically Closed Fields of Characteristic Zero