Для каждого простого числа рчисло делится на р. Теорема впервые сформулирована Э. Варингом (Е. Waring, 1770) и принадлежала, по его словам. Дж. Вильсону (J. Wilson), доказал ее Ж. Лагранж (J. Lagrange, 1771). Из В. т. следует критерий простоты числа: натуральное число тогда и только тогда является простым, когда Практическое использование В. т. для определения простоты числа нецелесообразно из-за быстрого роста факториала. Лит.:[1] Бухштаб А. А., Теория чисел, 2 изд., М., 1966; [2] Трост Э., Простые числа, пер. с нем., М., 1959; [3] Виноградов И. М., Основы теории чисел, 8 изд., М., 1972. Н. И. Климов.