Text this: Gelfand theorem implies Stone representation theorem of Boolean rings