Lucas Baños representará al José Ramón García Antón en la siguiente fase de la Olimpiada matemática