Redirecting to Gelfand–Naimark theorem