En≡En+p-1(modp),