Bewijs dat de vergelijking $y^2=x^5-4$ geen oplossingen $(x,y)$ heeft met $x,y\in\mathbb{Z}$.
Modulo 11: $\{0,1,4,9,5,3\}$ en $\{0,1,10\}-4$ zijn disjunct $\pmod{11}$ en bijgevolg zijn er geen oplossingen.
Oplossing
Modulo 11: $\{0,1,4,9,5,3\}$ en $\{0,1,10\}-4$ zijn disjunct $\pmod{11}$ en bijgevolg zijn er geen oplossingen.