Cohen-Macaulay ring/Positive characteristic/Cohomological criterion for tight closure/Fact/Proof