Аксиома: когда точка разбивает отрезок на два отрезка