ข้อ 17
เนื่องจาก
$0^2 \equiv 0 (mod 4)$
$1^2 \equiv 1 (mod 4)$
$2^2 \equiv 4 \equiv 0 (mod 4)$
$3^2 \equiv 9 \equiv 4(2)+1 \equiv 1 (mod 4)$
ดังนั้น
$n^2 \equiv 0, 1 (mod 4)$
(จำนวนเต็มยกกำลังสองแล้วหารด้วย 4 ได้เศษ 0 หรือ 1) และผลที่ตามมา
$n^2 + 1 \equiv 1, 2 (mod 4)$
$n^2 + 1 \not\equiv 0 (mod 4)$
$4 \nmid (n^2 + 1) $
|