My favorite proof is the one from Johnstone's Stone spaces for locales because it works without the axiom of choice.
Andrej Bauer
- 48.8k
- 11
- 131
- 239