Regular ring/Hilbert-Kunz multiplicity/Colength/Fact

Let ${}(R,{\mathfrak {m}})$ be a regular local ring and let ${}I$ be an ${}{\mathfrak {m}}$-primary ideal.

Then ${}e_{HK}(I)=\operatorname {length} \,(R/I)$.

Write a proof