In Example 1.3 we had . Clearly so is divisible by Using polynomial division again, we have
We have to determine whether is irreducible. To do this we complete the square:
is irreducible. Alternatively we use the formula for the roots of a quadratic polynomial: the roots are
which are complex, so is irreducible over .