section_heading: Dokaz
paragraph_text: Označimo s <math>r_1, r_2, ..., r_n</math> elemente skupa <math>S = \{a, 2a, ..., \frac{p - 1}{2}a\}</math> koji su veći od <math>\frac{p}{2}</math> te sa <math>s_1, s_2, ..., s_k</math> elemente skupa <math>S</math> koji su manji od <math>\frac{p}{2}</math>. Očito je <math>n + k = \frac{p - 1}{2}.</math>