Теория измерения длин отрезков вводится после