Gelfand–Naimark theorem - mathematics theorem in functional analysis