对任意正整数k，都存在x, y, z使2^x-2^z-2^y 是k的倍数
首先可以设k的最大奇因数是m，则存在非负整数t 使 k = 2^t*m
由欧拉定理 2^φ(m)≡1(mod m)，所以当x-1, y, z都是φ(m)的正整数倍时，2^x≡2≡1+1≡2^y+2^z (mod m)，2^x-2^y-2^z 是m的整数倍
这时再从这样的x, y, z中选足够大的一组使x-2≥y≥z≥t，那2^x-2^y-2^z同时也是2^t 的正整数倍，所以也是k 的倍数