Задача

№ 15687

Верно ли, что при любых ненулевых целых числах $a$ и $b$ система \[ \begin{cases} \operatorname{tg}(13x)\operatorname{tg}(ay)=1,\\ \operatorname{tg}(21x)\operatorname{tg}(by)=1 \end{cases} \] имеет хотя бы одно решение?
Ответ:
Решение: