Доказать, что уравнение 7x + 11y =12 не имеет целочисленных решений

Одно из решений данного уравнения — x=-3, y=3. Подобрать его можно, например, следующим образом:

При x=1, y=-1 выражение 7x+11y равно 7-11=-4.
Умножим значения переменных на -3, тогда при x=-3, y=3 получим 7x+11y=-21+33=12, что и требовалось.

Замечу, что данное уравнение не имеет натуральных решений, поскольку при x,y≥1 левая часть строго больше 12.