Нетрудно заметить, что теоремы Вильсона и Лейбница из Теории чисел, в свою очередь, являются частными случаями (3).
– приведенная система вычетов по m, то
(2)
или 
– функция Эйлера.
, (3)
– натуральное число.