断言是:每个满足 1≤k<2101−11\le k<2^{101}-11≤k<2101−1 的正整数 kkk 都存在某个 fancy 倍数,而 n=2101−1n=2^{101}-1n=2101−1 的任何倍数都不是 fancy 的。将 kkk 写成二进制形式最多用到 100100100 个为一的位,因此对某个 r≤100r\le100r≤100 有 k=2a1+⋯+2ark=2^{a_1}+\cdots+2^{a_r}k=2a1+⋯+2ar。