Hi,

I think what you're missing is a definition of phi. R2 is the domain (and codomain) of this function. What you need to prove is the function is a homomorphism.

When you have a definition for phi, you can then plug in your arbitrary values (ie a and b) and prove that phi(a+b)=phi(a) + phi(b).