Suppose . If , choose a connected open disc about it contained in . On that disc the clopen subset is either the whole disc or empty. Neither possibility permits a boundary point of , so . But , so a point in the interior of is in the interior of . Our point cannot be such an interior point. Consequently
This is boundary inclusion of spectra in a closed unital subalgebra, established from the preceding arguments rather than quoted.