>>83
nとかmとかtとかエスパー必要なところ多少あるけど大枠の方針合ってるぽいし正解でいいかなあ

オーソドックスな方針としては最上位に0が任意個連続する2の累乗の存在から矛盾を導くものがあるけど
今回は2の累乗のうち桁数が循環周期nのm倍（mは十分大きい整数）となるものが
1+10^n+10^(2n)+…+10^(nm) の倍数でなければならないことからも示せたりする