Pierādīt, ka no jebkuriem trim naturālu skaitļu kvadrātiem var izvēlēties divus tā, ka to summa vai starpība dalās ar \(5\).
Vispirms noskaidrosim, ar ko var būt kongruents naturāla skaitļa kvadrāts pēc moduļa \(5\).
| \(n(\bmod 5)\) | \(0\) | \(1\) | \(2\) | \(3\) | \(4\) |
|---|---|---|---|---|---|
| \(n^{2}(\bmod 5)\) | \(0\) | \(1\) | \(4\) | \(4\) | \(1\) |
Tātad naturāla skaitļa kvadrāts pēc moduļa \(5\) var būt kongruents ar \(0,\ 1\) vai \(4\).