Als twee gehele getallen gelijk zijn, dan zijn hun resten bij deling door een zelfde natuurlijk getal, verschillend van nul, ook gelijk. Of via contrapositie: als er tenminste 1 natuurlijk getal n bestaat waarvoor
, dan zal ook a verschillend zijn van b.
Proberen we eens met
![]()
- Herschrijf tot
. - We bepalen de resten van beide leden bij deling door 3:
. - Of
. - Het inverse element, modulo 3, van 2 is 2 zelf, dus kunnen we vorige vergelijking herschrijven als
![Rendered by QuickLaTeX.com \[x^2\equiv 2 \mod 3\]](http://www.wiskundemagie.be/wp-content/ql-cache/quicklatex.com-d5ec2e26c2d672d8eadaca3e32f7b972_l3.png)
- Nu is 2 geen kwadraatrest modulo 3, want
en
. - Bijgevolg heeft de gegeven vergelijking geen oplossingen.