Hilbert-Kunz multiplicity/Two-dimensional graded/Brenner-Trivedi-formula/Fact