Два доказательства невозможности выбора семи точек:
1. Шестнадцать исходных точек образуют 4 "квадратика" 2х2. В каждом квадратике можно выбрать не более двух точек. Если всего точек ровно 7, то в трёх из четырёх квадратиков выбрано ровно по две точки, а в оставшимся - ровно одна. Не ограничивая общности, можно считать, что в левом верхнем квадрате выбрана одна точка, а в остальных - по две. Далее следует не такой уж длинный тупой перебор.
2. Если все 7 выбранных точек лежат на "границе", то разбиваем границу на три множества:
Из каждого множества можно выбрать не более двух точек, а значит, всего не более шести.
Если одна из точек лежит "внутри" (в одной из клеток b2, c2, b3, c3 - без ограничения общности можно считать, что именно b2), разбиваем оставшиеся 15 клеток на 4 множества:
Из каждого множества, кроме последнего, можно выбрать не более одной точки, а из последнего - не более двух.