σ_sを約数関数、n=2^k mとすると
nに上記の操作を加えるとσ_1(n)-2σ_1(m)になるな
今まで出ている例で、約数の和と2の指数が一致してるのが気になる