Démonstration élégante : 7 lignes pour démontrer Stone Weirstrass

Salut 

C'est une première car c'est un vieux théorème dont les preuves les plus courtes étaient de 30 lignes. 

C'est pas sionnant.

La demo est bugger, je travaille à y trouver un patch. 

Superbe élégance

J'en ai une autre:

Peux tu démontrer, de façon "parfaite", que

le prédicat en f:

"f est une fonction dérivable sur R telle que pour tout x de R, on ait f'(x)=f(x)"

est strictement équivalent au prédicat en f

"Il existe C appartient à R tel que pour tout x de R, f(x)= C * exponentielle (x)"?