Trường hợp p = 2 thì 2^p + p^2 = 8 là hợp số.
Trường hợp p = 3 thì 2^p + p^2 = 17 là số nguyên tố.
Trường hợp p > 3. Khi đó p không chia hết cho 3 và p là số lẻ. Suy ra p chia cho 3 hoặc dư 1 hoặc dư 2, do đó p^2 - 1 = (p - 1)(p + 1) chia hết cho 3. Lại vì p lẻ nên 2^p + 1 chia hết cho 3. Thành thử (2^p + 1) + (p^2 - 1) = 2^p + p^2 chia hết cho 3; suy ra 2^p + p^2 ắt hẳn là hợp số.
Vậy p = 3.