que leemos como que "G es el grupo generado por a,b,c, que satisfacen las restricciones r_1(a,b...), r_2 (a,b..