Hilbert-Kunz theory/Introduction/Section