McCoy theorem
= McCoy theorem
{c}
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.