Weierstrass factorization theorem