la clausura del subgrupo  generado por "P" será finita, o algún toro "T′" contenido en "T".