Để p và 2p+1 đều nguyên tố > 3 => p và 2p+1 đều ko chia hết cho 3
=> p chia 3 dư 1 hoặc 2 và 2p+1 chia hết cho 3 => p chia 3 dư 2 ; p có dạng 3k+2(k thuộc N)
Khi đó : 4p+1 = 4.(3k+2)+1 = 12k+8+1 = 12k+9 = 3.(4k+3) chia hết cho 3
Mà 4p+1 > 3 => 4p+1 là hợp số (ĐPCM)