L'énoncé est un peu obscure!
Si je suppose qu'il veut dire:
" Pour tout entier r >= 1 il existe une infinité de nombres premiers p tels que p = 1 mod 2^r"
Alors ce résultat découle directement du
théorème de Dirichlet sur les nombres premiers dans une
progression arithmétique.