Dokaži da ne postoji beskonačni niz prostih brojeva p0,p1,p2,p_0, p_1, p_2, \ldots takav da za svaki prirodni broj kk vrijedi

pk=2pk1+1ilipk=2pk11.p_k = 2p_{k-1} + 1 \quad \text{ili} \quad p_k = 2p_{k-1} - 1.