Prove that two homomorphisms that agree on the generator are equal.
define natural numbers, state recursion theorem for naturals.