The original proof of the Stone-Weierstrass theorem was elementary enough that Stone could present it in a lengthy article in Mathematics Magazine. There is a much shorter proof due to de Branges that uses the Krein-Milman theorem, the Hahn-Banach theorem, and the Riesz representation theorem.