For M an R-module and m an element of M we define the order ideal, 0M(m), to be the ideal which consists of the images of m under homomorphisms of M to R. The proof proceeds by considering the height of particular order ideals, 0M(m), in relation to the projective dimension of M. Specifically, if M is a kth syzygy of the 7?-module TV and if xx, . . . ,xk_l is an R sequence, then Torf (TV, R/(xi...