Каждый отрезок имеет определенную. Каждый отрезок имеет определенную длину большую нуля. Длина отрезка равна сумме длин частей на которые. Аксиома каждый отрезок имеет определенную