Suppose that R {\displaystyle {}R} is a regular local ring of positive characteristic p {\displaystyle {}p} and of dimension d {\displaystyle {}d} .
Then for every ideal I {\displaystyle {}I} we have