Dowód:
Liczby [tex]a[/tex] i [tex]b[/tex] możemy zapisać w postaci:
[tex]a=4k+3\\b=4n+1[/tex]
dla pewnych liczb całkowitych [tex]k[/tex] i [tex]n[/tex].
Obliczamy różnicę kwadratów tych liczb:
[tex]a^{2}-b^{2} =16k^{2}+24k+9-16n^{2} -8n-1=16k^{2}+24k-16n^{2} -8n+8=8(2k^{2}+3k-2n^{2} -n+1)[/tex]
Teraz widzimy, że różnica kwadratów tych liczb jest podzielna przez [tex]8[/tex], gdyż jest iloczynem liczby [tex]8[/tex] i [tex]2k^{2}+3k-2n^{2} -n+1[/tex].
[tex]q.e.d.[/tex]