q > 1 \lor p < 2^{k+1}+1