p - 2 - 4 \cdot ({2^{k-1} - 1}) = p - ({2^{k+1} - 2})