Gelfand–Naimark Theorem - Ontify