Уравнение ax≡x-2 (mod) имеет хотя бы одно решение при любом значении а, так как это уравнение всегда имеет решение х=0.