pと ℓ を異なる奇素数とし、ℓ*＝(-1)(ℓ-1)/2ℓ (いつも1(mod 4)である)とする。