Regular ring/Positive characteristic/Forcing algebra/Not inside/Local cohomology/Fact/Proof