n là số nguyên tố lớn hơn 3 => n có thể có các dạn sau:
+) n = 3k + 1 => n2 + 17 = (3k +1)2 + 17 = 9k2 + 6k + 1 + 17 = 9k2 + 6k + 18 chia hết cho 3 => n2 + 17 không là số nguyên tố
+) n = 3k + 2 => n2 + 17 = (3k +2)2 + 17 = 9k2 + 12k + 4 + 17 = 9k2 + 12k + 21 chia hết cho 3 => n2 + 17 không là số nguyên tố
=> đpcm