윌슨 소수

윌슨 소수 (Wilson Prime) 의 정의는 다음과 같습니다.

소수 $p$에 대하여, $(p - 1)! \equiv -1 \pmod{p^2}$이면 $p$를 윌슨 소수라고 한다.
$(p - 1)!$은 팩토리얼 표기 입니다.
이름에서 알 수 있듯이 윌슨의 정리 와 관련있는 소수입니다.
현재까지 알려진 윌슨 소수는 $5$, $13$, $563$ 뿐입니다.
모양은 비페리히 소수 와 비슷한 꼴입니다.