>>556
恒等式には2通りの定義がある。
広い意味では「定義域内のどのような値をとっても、つねに成り立つ等式」だから Z/5Z で x^5−x＝0 は恒等式。
整式に限定した狭い意味では「次数が等しい」条件がついている。