设 S = 1+2+2^2+2^3+.+2^62+2^63
方程两边同乘以 2 得到：2S = 2+2^2+2^3+.+2^62+2^63+2^64
两式相减可以得到（去掉中间项）：
S = 2^64 - 1