Stone–Weierstrass_theorem loading ...