Hilbert-Kunz theory/Graded situation/Introduction/Section