_>Проблема в том что там упоменается q, но нет p более того p должно быть простым, что бы подобное выполнялось.
Мне кажется, что если p не простое это не будет верно. Если это так, то наверное можно привести контрпример когда это не выполняется. Можно написать простую программу, которая бы это проверяла для случайных чисел.
