Question
To prove a cubic polynomial in `ZZ_3[x]` is irreducuble,
which statement is sufficient:
A) The polynomial has no roots in `ZZ_3`.
B) The polynomial cannot factor into a product of
three linear factors
?