< = > Nếu P1 chia 4 dư 1 thì P2 chia 4 dư 3
< = > Nếu P1 chia 4 dư 3 thì P2 chia 4 dư 1
< = > P1 + P2 chia hết cho 4
< => (P1 + P2) / 2 chia hết cho 2
< = > Là hợp số
=> ĐPCM
Vì lẻ + lẻ = chẵn
nên P1 + P2 : 2
mà số nguyên tố lẻ bắt đầu từ 3
mà ( 3 + 5 ) : 2 = 4
Vậy ( P1 + P2 ) : 2 là hợp số