Show that is a maximal ideal of .
If it could be shown that then since is a field, would be maximal.
Define by .
Check that is an epimorphism and its kernel is .
is a principal ideal domain. An ideal of a PID is maximal iff is irreducible in .
Since is irreducible, is maximal.