Weierstrass theorem