One-dimensional ring/Hilbert-Kunz multiplicity is multiplicity/Fact