Vì p là số ng tố lớn hơn 3
=> p = 3k + 1 hoặc p = 3k + 2 ( k \(\in\)N* )
*) Nếu: p = 3k + 1 => 5p + 1 = 5.( 3k + 1 ) + 1
= 15k + 5 + 1 = 15k + 6
Mà 15k + 6 \(⋮\)3
=> 5p + 1 là hợp số. ( trái với đề, loại )
Do đó: p chỉ có thẻ bằng 3k + 2
Khi đó: 7p + 1 = 7. ( 3k + 2 ) + 1
= 21k + 14 + 1 = 21k + 15
Mà 21k + 15 \(⋮\)3
=> 7p + 1 là hợp số ( điều phải chứng minh )
Vậy: 7p + 1 là hợp số.