Weierstrass's factorization theorem