Regular ring/Hilbert-Kunz multiplicity/Colength/Fact