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

Proof

This follows from fact and .