McCoy theorem

A polynomial $f\in R[t]$ is a zero divisor exactly when some nonzero scalar $a\in R$ annihilates it. One proof chooses a nonzero polynomial $g$ of minimal degree with $fg=0$ and successively kills its leading coefficient.