I don't understand the last passage in this proof.
We assume that $P(X)\in R[X]$ is irreducible and want to show that it is prime. So we must prove that $P(X)\mid F(X)G(X)$ implies either $P(X)\mid F(X)$ or $P(X)\mid G(X)$ (in $R[X]$). So we assume that $P(X)\mid F(X)G(X)$, i.e., there is a $Q(X)\in R[X]$ such that $P(X)Q(X)=F(X)G(X)$ in $R[X]$ (and consequently in $K[X]$). How the Gauss lemma implies that either $P(X)\mid F(X)$ or $P(X)\mid G(X)$ in $K[X]$?