各桁の数 \(d(i)\)（\(10^i\) の位）について、\(\sum_{i=0}^{n} d(i) \cdot 10^i\) が 3 で割り切れることと、桁の和 \(\sum_{i=0}^{n} d(i)\) が 3 で割り切れることは同じ。
和は articles2/Seq の \(f\ \mathrm{sum}\ n\)。\(e(i) = d(i) \cdot 10^i\) の列 \(e\) と桁の列 \(d\) の、最初の \(n+1\) 項の和を比べる。

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}.\) ，ℤ. ，-ℤ ，+ℤ ，Peano1 ，Peano2 ，ℕ. ，INDC ，+𝕄 ，⋅𝕄 ，ℙ.' ，\(0 \in \mathbb{M}\) ，sum𝕄 ，L10 ，L10↑ ，L3s