hay un isomorfismo de G en G'.