An equivalent formulation is the congruence:formula_2The theorem was first proved by Joseph Wolstenholme in 1862.
Впервые теорема была доказана Джозефом Вольстенхольмом (Joseph Wolstenholme) в 1862 году.