La prueba dice que definimos la función módulo como el homomorfismo natural, $$ \bar\phi: \mathbb Z \to \mathbb Z / p\mathbb Z$$ Entonces, si $h \in \mathbb Z[x]$ es reducible, la identidad $$ \bar\phi(h) = \bar\phi(fg) = \bar\phi(f) \bar\phi(g) $$ prueba $h (\text{mod}\ p)$ también es reducible en $\mathbb Z_p$
Sin embargo, esta prueba no dice nada sobre $p$ siendo primo. Y considera $$ \bar\phi: \mathbb Z \to \mathbb Z / 4\mathbb Z $$ es también un homomorfismo, definido por $$ z \mapsto z + 4\mathbb Z$$