E2⁢n≡{0(modpℓ)if ⁢p≡1(mod4),2(modpℓ)if ⁢p≡3(mod4),