Stone--Weierstrass Theorem (Real Version)