Bài 4

Với $n=5$ và $n=17$ (đều $\equiv5\pmod{12}$, dưới ngưỡng $n\ge29$ của bước 6), kiểm tra trực tiếp mọi cặp $(a,b)$ với $a\equiv b\pmod3$ và $2(a+b)-3\in\{5,17\}$ cho thấy chỉ có $(2,2)$, $(2,8)$, và $(5,5)$ (sai khác việc hoán đổi $a,b$), không cặp nào nguyên tố cùng nhau. Vậy $n=5$ và $n=17$ không đạt được, trong khi mọi $n\equiv1,5\pmod6$ khác đều được hiện thực hóa ở bước 6. Do đó các giá trị có thể của $n$ chính là các số nguyên với $n\equiv1\pmod6$ hoặc $n\equiv5\pmod6$, trừ $n=5$ và $n=17$.