Ферма Малая Теорема

При а, не делящемся на простое число р, имеет место сравнение 1(mod/>). Этa теорема была установлена П. Ферма (P. Fermat, 1640). Она показывает, что порядок каждого элемента мультипликативной группы классов вычетов по модулю рделит порядок этой группы.