Z/5Z では、多項式関数 x^5 - x はつねに0を吐きますが、
「Z/5Z では　x^5 - x = 0 が恒等式になる」　とみてはいけないと聞きました。
どうしてでしょう。