1. Énoncé (version réelle). 2. Lemme : approximation de |x|. 3. Clôture par treillis. 4. Version complexe et contre-exemple
Séparante, contient les constantes. Weierstrass comme corollaire