Define a Homomorphism from by
Note that the kernel of is N
is onto so we can use the first isomorphism theorem to get
Since is an Integral Domain this implies that The Ideal is Prime and not maximal.
This ideal in is contained in the Ideal gentered by (2, and the same set f) and this ideal is maximal