p⁢B2⁢n≡p-1(modpℓ+1),