My favorite proof is the one from Johnstone's Stone spaces for locales because it works without the axiom of choice.