Gelfand Naimark theorem