Weierstrass theorem on polynomial approximation