The quotient telescopes inへadmissible factors.
Each factまたは上のright has form (2a+1)/(a+1)(2a+1)/(a+1)(2a+1)/(a+1), を伴うa=2jx a=2^j x a=2jx 翻訳:. By induction, y y y はalso a 積 のfactors のthはform, so k=y(k/y) k=y(k/y)k=y(k/y) has required representation.