Regular ring/Characterication with Hilbert-Kunz multiplicity/Fact