볼첸홈의 정리

볼첸홈의 정리 (Wolstenholme's Theorem) 의 내용은 다음과 같습니다.

$5$ 이상의 모든 소수 $p$에 대하여, $$ \binom{2p - 1}{p - 1} \equiv 1 \pmod{p^{3}} $$ 이다.
$\binom{2p - 1}{p - 1}$은 이항계수 입니다.
팩토리얼과 소수의 관계인 윌슨의 정리 와도 비슷한 느낌의 정리입니다.
볼첸홈의 정리 증명

${2p - 1 \choose p - 1} \equiv 1 \pmod{p^{4}}$을 만족시키는 소수 $p$도 존재하는데, 이를 볼첸홈 소수 라고 합니다.