>>305
x^p-1≡1(mod p)
（ただし、pは素数で、xはpで割り切れない任意の整数）

は恒等ではないがな。