エウレカ!
少しだけ面白い法則を見つけました
法則:「ある素数pに対し、(p-1)桁のpの倍数は桁をひとつずらしても常にpの倍数となる」
7の場合は7*15873*9=999999のため6桁のabcdefが7の倍数ならbcdefaも7の倍数(例:356426)
13なら同じく6桁(例:686738)
17なら16桁
19なら18桁
23なら22桁
29なら28桁
31なら15桁
37なら3桁
41なら5桁
43なら21桁
47なら46桁
既に証明した「n桁で桁をひとつずらしてもpの倍数となるなら、n×N桁でもpの倍数となる」を用いると13なら12桁、31なら30桁、37なら36桁、41なら40桁、43なら42桁でも成立することが分かります
もう計算機では素因数分解ができなくなるレベルですが、証明は至ってシンプル(必要な定理を証明するので10行は少し超えますが)

>>196
では夜になってから↑とあわせて証明書き込みますね