Помогите, пожалуйста, разобраться в решении следующих задач:
1. Пускай

- простое,

- образующая группы

, в которой содержатся ненулевые элементы, взаимно простые с

.
Доказать следующий критерий:

- квадратичный вычет тогда и только тогда, когда

Например, сразу приходит в голову использование критерия Эйлера, однако каким образом из него следует существование

? И как использовать то, что

- образующая?
2. Если

, то

имеет

квадратных корней.
Тут вообще не пойму толком условие: получается, для любого квадратного вычета число корней одинаково, однако есть контрпирмеры. Возможно, вместо

должна быть двойка в другой степени: но в какой?
Заранее спасибо.Буду также благодарен за ссылки на хорошую литературу по квадратным вычетам.