# Section 2.2: Problem 13 Solution

Working problems is a crucial part of learning mathematics. No one can learn... merely by poring over the definitions, theorems, and examples that are worked out in the text. One must work part of it out for oneself. To provide that opportunity is the purpose of the exercises.
James R. Munkres
Prove part (a) of the homomorphism theorem.
Homomorphism Theorem (a). Let be a homomorphism of into , and let map the set of variables into . For any term , we have , where is computed in and is computed in .
For variables, . For constants, . For functions, by induction, .