Ta có: `2^n + 1, 2^n, 2^n - 1` là `3` số tự nhiên liên tiếp.
`->` Trong này phải có `1` số chia hết cho `3`.
Mà `2^n cancel vdots 3 forall n > 2`.
`-> 2^n -1, 2^n+1` có `1` số `vdots 3`.
`-> 2^n - 1, 2^n + 1` không thể đồng thời cùng là số nguyên tố (dpcm)