Que la línea recta es la más corta entre dos puntos, es una proposición sintética.