не знаю, как это можно доказать, кроме как практическим путем:
ставим мину в центр поля и закрашиваем клетки, на которых других мин точно быть не может (четыре клетки, соприкасающиеся с миной по горизонтали и вертикали, и восемь клеток, которые имеют общие ребра с этими соприкасающимися)
максимально близко к первой мине ставим четыре других (больше не получится) и тоже отмечаем клетки, где мин быть не может
или так
опять как можно ближе добавляем мины и отмечаем клетки, где они находится не могут
или так
заполнить оставшиеся клетки уже проще
или так
видно, что максимальное количество мин - 17