Suppose that R {\displaystyle {}R} is a regular local ring of positive characteristic p {\displaystyle {}p} and of dimension d {\displaystyle {}d} .