The least-素数-約数 argument forces same 素数.
とする。q q q be smallest 素数 約数 のn n n 翻訳：. Using (p−1)n≡−1(modq)(p-1)^n\equiv-1\pmod q (p−1)n≡−1(modq) およびleast positive exponents giving residues −1-1−1 および111, a Euclidean-divisi上のargument shows thでexponent n n n はa multiple のleast −1-1−1 exponent, which 必要があるbe 111. よって p−1≡−1(modq) p-1\equiv-1\pmod q p−1≡−1(modq), およびなのでp,q p,q p,q は素数, q=p q=p q=p.