Вот принцип построения для
(для
аналогично).
Строим синий уголок, разбиваем каждую его сторону семью (
) точками, проводим черные линии, половину (включая биссектрису) точек пересечения которых назначаем искомыми красными точками. Для половины самых богатых точками линий добавляем по одной зауголочной красной точке.
Так версий процедур построения пересекающихся линий и выбора на этих линиях точек можно предложить много, причем все процедуры возможно записать алгоритмически с входным параметром: 8, ..., 19. И вопрос-то: доказать (на каком основании) это "топологическое свойство", что, например, для 8 меньше, чем 20, не получится, так как не слишком "очевидно". PS Вот для 19 уже и "вычислительно необозримо" (для случая, если программу написать, которая варианты нарисовок перебирала бы).