Ta có:
- Xét ` p = 2 => p + 1 = 2 +1 = 3 ` là số nguyên tố ` => p = 2 ` thỏa mãn
- Xét ` p > 2 <=> Xét p = 2k+1 ( k in N`*) ` => p + 1 = 2k + 1 + 1 = 2k + 2 = 2 (k + 1 ) \vdots 2 => p+1 là hợp số => p \ne 2k+1 `
Vậy với ` p = 2 ` thì ` p và p+1 ` là `SNT`