section_heading: Iskaz leme
paragraph_text: Promotrimo skup <math>S = \{a, 2a, 3a, ..., \frac{p - 1}{2}a\}.</math> Isto tako, promotrimo skup <math>S'</math> najmanjih pozitivnih ostataka modulo <math> p </math> koji daju elementi prvobitnog skupa <math>S.</math>