алгоритм Шенкса-Тонелли

[winger]

Помогите пожалуйста найти обоснование алгоритма Шенкса-Тонелли. Это алгоритм для решения сравнений второй степени по простым модулям вида p=4k+1.
Описание алгоритма достаточно легко найти в инетрнете, но теорию найти никак не получается..