contiene la identidad, que es naturalmente isomorfa a