Redirecting to Stone-Weierstrass theorem