We prove that if an analytic map : U [flecha] Cn, where U [incluye] C [elevado a ] n is an open neighborhood of the origin, admits an algebraic addition theorem then, there exists a meromorphic map g : C [elevado a]n [flecha] C [elevado a]n admitting an algebraic addition theorem such that each coordinate function of f is algebraic over C(g) on U (this was proved by K. Weierstrass for n = 1). Furthermore, g admits a rational addition theorem
