，那么formula_19。注意：2^m是不超过n的最大幂，l是留下的量。显然，表格中的值满足这个方程。我们用数学归纳法给出一个证明。定理：如果formula_17且formula_18，则formula_22。证明：对formula_4应用数学归纳法。formula_24的情况显然成立。我们分别考虑formula_4是偶数和formula_4是奇数的情况。如果formula_4是偶数，则我们选择formula_28和formula_29，使得formula_30，且formula_31。注意f