— Praktiserandet as axiomet : räta linien ärkortaste