Bruns-Herzog, Proposition 1.2.10. Let R be a Noetherian ring, I an ideal of R, and M a finite R_module. Then $$grade (I,M)= inf \{depth M_p | p \in V(I)\}.$$