Gelfand–Naimark_theorem loading ...