criterion Definition and 1 Threads

My solution: Assume it is reducible, i.e., ##a_n X^n + ... + a_0 = (b_k X^k + ...+ b_0)(c_m X^m+ ... +c_0)##. ##a_0=b_0 c_0##. Since ##p \mid a_0##, either ##p \mid b_0## or ##p \mid c_0##, but not both, because ##p^2 \nmid a_0##. Assume ##p \mid b_0, p \nmid c_0##. ##a_1=b_0 c_1+b_1 c_0##. ##p...