У меня рассуждения немного другие но я также использовал модуль 7.
-- Вс сен 30, 2012 19:39:30 --Запишем ввиде

Левая часть при делении на 7 дает остатки 1,2,4.

дает остатки 4,5,1,0. Остаток 4 правая часть дает при q кратном 7(это 1 случай). У них есть еще один общий остаток- это 1. Заметим что левая часть дает остаток 1 только при p=3k, т.е. p=3(это 2 случай). И на этом решение заканчивается.
-- Вс сен 30, 2012 19:49:08 --Мне хочится увидеть другое решение, отличное от моего
