Noetherian ring/Positive characteristic/Existence of Hilbert-Kunz multiplicity/Fact