Regular ring/Positive characteristic/Tight closure trivial/Fact/Proof