Gelfand theorem implies Stone representation theorem of Boolean rings

Abstract

Stone Theorem about representing a Boolean algebra in terms of open-closed subsets of a topological space is a consequence of the Gelfand Theorem about representing a B∗- algebra as the algebra of continuous functions on a compact Hausdorff space.