Ciao ragazzi, sono alle prese con lo studio dell'esame di Algebra: ho un dubbio su un passaggio della dimostrazione del seguente teorema
sia $A$ un dominio fattoriale e $K$ il suo campo dei quozienti. Allora $f(x)\inA[x]$ è irriducibile se e solo se $f(x)$ è primitivo e irriducibile in $K[x]$.
La dimostrazione nel suo complesso mi è chiara, tranne nel passaggio in cui si asserisce che $f(x)$ irriducibile in $A[x]$ implica $f(x)$ primitivo.
Spero che qualcuno di voi mi possa aiutare.