各桁の数 \(d(i)\)（\(10^i\) の位）について、\(\sum_{i=0}^{n} d(i) \cdot 10^i\) が 3 で割り切れることと、桁の和 \(\sum_{i=0}^{n} d(i)\) が 3 で割り切れることは同じ。和 \(\sum\) は common/word_basis のもの。

1 準備

1.1 数

1.2 3 で割り切れる

\(10^i\) を3で割った余りは1（\(10 = 3 \cdot 3 + 1\) から帰納法で）。
3 の倍数を足しても、3 で割り切れるかは変わらない（L3t）。
L3t … \(x , t \in \mathbb{M} \Longrightarrow ( 3 \mid x + 3 \cdot t \Longleftrightarrow 3 \mid x )\) \(\blacktriangleleft\) \(\mathbb{W}.\) ，Ax𝕄 ，ax_s ，+𝕄 ，⋅𝕄