Text this: Gestión del profesor para generar cambios en el discurso matemático asociados a la construcción de teoremas.