Stone--Weierstrass Theorem (Complex Version)