Proving irreduciblity over $\mathbb{Z}$ Problem: Let $h(t)=c_{2m+1}x^{2m+1}+c_{2m}x^{2m}+ \cdots +c_0$ be a polynomial of odd degree ($\geq 3$) over $\mathbb{Z}$. 
Suppose that for some prime $p$,
$p$ does not divide the leading coefficient.
$p|c_i$ ($m+1 \leq i \leq 2m$)
$p^2|c_{i} $ $0 \leq i \leq m$
and $p^3$ does not divide $c_0$
Show that $h(t)$ is irreducible.
My attempt: I tried to prove using contradiction.
Assume $h(t)=(a_mt^m+ \cdots +a_1t+a_0)(b_nt^{n}+ \cdots + b_1t+b_0)$
Now I split the problem into two cases:
1)$p^2||b_0$ which implies $p$ does not divide $a_0$
and the other case is
2) $p||a_0$ and $p||b_0$.
I am being able to prove the result for the first case, since from $c_1=b_0a_1+a_0b_1$ which gives $p|b_1$. Proceeding similarly we get $p|b_n$ which is a contradiction.
Someone help me with the second case, or if there is any other way to do this problem please tell.
 A: Proceed a bit like in the usual proof of Eisenstein's criterion.
Assume contrariwise that $h(t)=g(t)f(t)$ is the product of two factors
$$
g(t)=a_\ell x^\ell+\cdots+a_1x+a_0
$$
and
$$
f(t)=b_n x^n+\cdots+b_1x+b_0
$$
with $\ell+n=2m+1$.
A plan / extended hints:


*

*We know that $c_{2m+1}=a_\ell b_n$, so neither of the leading
coefficients can be divisible by $p$.

*So let $r$ be the lowest index $i$ such that $p\nmid a_i$, and $s$ be the lowest index $i$ such that $p\nmid b_i$. Show that this implies that $p\nmid c_{r+s}=\sum_{i+j=r+s}a_ib_j$.

*Conclude that we must have $r=\ell$ and $s=n$, so all but the leading terms of both factors must be divisible by $p$.

*Show that neither $a_0$ nor $b_0$ can be divisible by $p^2$.

*Without loss of generality we can assume that $n<\ell$. Why? Show that $n\le m$.

*Using known facts about divisibility of the various coefficients show that $a_0b_n$ is the only term in $c_n=\sum_{i+j=n}a_ib_j$ that is not divisible by $p^2$. Why is this a contradiction?



For full credit: Which steps used the fact that the degree of $h(t)$ is odd?

For extras: Read what Wikipedia says about Newton's polygon in the  context of Eisenstein's criterion and your problem. You will see that in this case as well as in the case of Eisenstein's criterion the lower convex envelope consists of a single line with a slope that has denominator $2m+1$. The
general facts about Newton's polygon then kick in.
