SMS dit: Rings of continuous functions,