I need a summary of this:
The Zerodivisor Theorem. If M ≠ 0 has finite projective dimension (i.e., M has a finite projective (=free when R is local) resolution: the projective dimension is the length of the shortest such) and r ∈ R is not a zerodivisor on M, then r is not a zerodivisor on R.
