(2^p - 1) x (1 + (2^p) + (2^p)^2 + ... + (2^p)^(k-1)) = -1 + [2^p - 2^p] + [(2^p)^2 - (2^p)^2] + ... + [(2^p)^(k-1) - (2^p)^(k-1)] + 2^kp
Donc (2^p - 1) x (1 + (2^p) + (2^p)^2 + ... + (2^p)^(k-1)) = -1 + 0 + 0 + ... + 0 + 2^kp = 2^kp - 1 = 2^n -1 car n = kp.