Nakayama's Lemma

A statement about finitely generated modules over a local ring (or more generally over a ring with Jacobson radical J): if M is a finitely generated R-module and M = J M then M = 0; equivalently, a set of elements whose images generate M/JM lifts to generate M.