Gelfand–Raikov_theorem loading ...