Corollary 5

— Let $f, g \in K[X]$. For fand g to be relatively prime it is necessary and sufficient that the canonical image of g in $K[X]/(f)$ should be invertible. For this condition means that there exist $u, v \in K[X]$ such that $uf + vg = 1$.