gelfand theorem