a, b tamsayıları için a, b yi tam bölüyorsa bunu a|b ile gösteriyoruz. x, y tamsayıları için 7|(x2 + y2) olmalıdır. Şimdi burada şöyle bir iddiada bulunuyoruz:
7|(x2 + y2) ise 7|x ve 7|y olmak zorundadır. Bu noktaya dikkat edelim: x, y sayıları 7 ile tam bölünüyorsa x2 + y2 de 7 ile tam bölünür, demiyorum. Bu zaten kolayca görülebilecek birşey. Bunun tersinin de doğru olduğunu iddia ediyoruz. İddiacı iddiasını ispat etmekle mükelleftir kaidesinden hareketle, şimdi biz de bu iddiamızı ispat edelim:
x2 + y2 ≡ 0 (mod7) veriliyor. Her x tamsayısı için x ≡ 0, ±1, ±2, ±3 (mod7) durumlarından birisi geçerlidir. Kare alırsak x2 ≡ 0, 1, 2, 4 (mod7) olabilir. Bu arada x2 ≡ 0 (mod7) durumunun sadece x ≡ 0 olması ile mümkün olduğuna da dikkat edelim. Benzer denklikler y için de yazılabilir. Yani y2 ≡ 0, 1, 2, 4 (mod7) olur. Elbette y2 ≡ 0 (mod7) durumun sadece y ≡ 0 ile mümkün olacaktır. Bu denklikleri toplarsak 2 + y2 ≡ 0, 1, 2, 3, 4, 5, 6 (mod7) elde ederiz. Fakat 2 + y2 ≡ 0 (mod7) denkliğini sadece ve sadece x2 ≡ 0 ve y2 ≡ 0 denkliklerinin toplanmasıyla elde edebildiğimize dikkat edelim. Buradan x ≡ 0 ve y ≡ 0 (mod7) buluruz.
Şimdi x = 7a, y = 7b olacak şekilde a, b tamsayıları vardır. Denklemde kullanırsak 49(a2 + b2) = 5.710 olup a2 + b2 = 5.78 elde ederiz. Bu durumda a = 7c, b = 7d olacak şekilde c, d tamsayıları vardır. Buna göre c2 + d2 = 5.76 yazılır. ... Sonuçta m2 + n2 = 5 eşitliğine ulaşırız. Buradan (m, n) = (2,1) ve diğer çözümler bulunur. 8 tanedir.