А это объяснение того, почему в невыпуклом случае, начав движение из лунки рядом с минимумом на одной стороне, всегда получится прийти в лунку рядом с максимумом. А именно — самое важное в отрезаемой площади это отрезок, на который она опирается. Ну а если нарисовать множество возможных пар "первая точка, вторая точка", то это будет много замкнутых кривых + ровно одна кривая с двумя концами. Один из которых отвечает лунке над минимумом m, а другой — лунке над максимумом M. Просто потому, что нигде больше такая кривая не обрывается —