Gelfand Representation Theorem