n^e≡1 (mod p+1)となる最小の正整数をeとする。2pをeで割る議論と最小性からe|2p。e=1,pはn^p≡−1に反する。オイラーの定理とφ(p+1)<2pでe=2pも除かれ、e=2となる。