State and prove the Stone-Weierstrass theorem for real-valued functions.

[You may use without proof the fact that the function $s \rightarrow|s|$ can be uniformly approximated by polynomials on $[-1,1] .]$