Gelfand_Naimark_Segal.Cstar_Algebra_On