Text this: Teoría euclidiana de la proporción en la construcción de los números reales: ¿un asunto útil para un profesor?