Question
Can you apply The Eisenstein Criterion to
show that `p(x) = x^2 + x + 1`
is irreducible over `ZZ_2`
?