Giả sử: `n` là số nguyên tố

`=>` ước của `n` là `n` và `1`

`=> n+1` cũng là ước của `n+1`

Trừ số `2` thì `n` là số nguyên tố lẻ

`=> n+1` là chẵn

`=> 1+1=2` là ước của `n+1`

Vậy `n` là số nguyên tố lẻ. (có thể là đề thiếu)