That a straight line is the shortest path between two points, is a synthetical proposition.
Lerro zuzena bi punturen arteko laburrena dela, proposizio sintetiko bat da. Ba nik "zuzena"z daukadan kontzeptuak ez du inkluditzen ezer tamainaz eta hau kualitate bat besterik ez da.