p=2のとき明らか。p＞2のとき、pは2の約数でないから フェルマーの小定理より、2^(p-1)≡1 (mod p)、2^p≡2 (mod p)