Xét p = 3 không thỏa mãn.
Với p khác 3 thì p không chia hết cho 3.
Trong 3 số tự nhiên liên tiếp 8p,8p-1,8p+1 tồn tại 1 số chia hết cho 3.
Mà 8p không chia hết cho 3, 8p-1 là số nguyên tố nên 8p-1 không chia hết cho 3 => 8p+1 chia hết cho 3.
Mà 8p+1>3 nên 8p+1 là hợp số.