Hilbert-Kunz multiplicity/Two-dimensional graded/Formula for maximal ideal in plane case/Fact