Producción de teoremas con estudiantes en extraedad: la justificación de una conjetura