Algebraically Closed Fields are Infinite