que cualquier par de grupos con la propiedad son isomorfos.