Mamy oto takie twierdzenie - Dla dowolnych liczb \(\displaystyle{ a, b \in N}\) liczba \(\displaystyle{ a^{2}+b^{2}}\) ma dzielnik pierwszy tej postaci.
Otóż czy autor tutaj nie przyjął konwencji, że \(\displaystyle{ 0}\) nie zawiera się w liczbach naturalnych ? W przeciwnym wypadku cóż powiemy o liczbie \(\displaystyle{ 49 = 7^{2} + 0^{2}}\) ?