Let R {\displaystyle {}R} be a local noetherian ring of positive characteristic. Then the following hold.