The question is:

Let m be a fixed positive int. For any integer a, let

denote (a mod m) Show that the mapping of given by [tex]\Phi(a_nx^n + a_{n-1}x^{n-1}+...+a_0) = \bar{a_n}x^n + \bar{a_{n-1}}x^{n-1}+...+\bar{a_0}[/tex]

is a ring homomorphism.

All i want to know is that is it enough to show that defined by x mod m is a homomorphism ?