Задача не так проста как обычно бывает - здесь нужно подумать, порассуждать, применив свои навыки ретро-анализа. Нет, задача несложная и решаема, но не с ходу - посидеть все-таки придется.
Вот вам разминочная задача Шинкмана (William Shinkman
"Chess Journal" 1870) с "формулировкой кто и как ставит мат в 1 ход?"
Думаю, вы нашли невозможность первого хода белых, так как нельзя доказать, что черные