Commutative Gelfand-Naimark Theorem