vlsergey/infosec — pull request #454 by daniel2b (2013-12-31 09:54:10+00:00)
Title: Update aks.tex

Равенство получается из алгебраических преобразований в кольце по модулю p. Так как любой слагаемое, кроме первого и последнего, содержит p, то в кольце они дают 0. Похожим образом доказывается малая теорема Ферма.