I faced a theorem
Let $R$ be a noetherian local ring, $M$ a finitely generated module of finite projective dimension. Then if the annihilator of $M$ is not trivial, then it contains a nonzero zero divisor in $R$.
Or more precisely, in this form.
This is a part of Vasconcelos' paper Ideals Generated by R-Sequences, he referred paper of Auslander and Buchsbaum Homological dimension in local ring. But there is no Proporsition 6.2 in the paper referred.
My question is, how to prove this proposition?