볼첸홈의 정리
볼첸홈의 정리 (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도 존재하는데, 이를 볼첸홈 소수 라고 합니다.