2 主定理

word(ss,s)F … \(\)
各桁を \(d(i)\)（\(10^i\) の位）とする。各 \(d(i)\) は自然数であればよく、10 未満でなくても成り立つ。
証明：\(10^i = 3c + 1\) なので \(d \cdot 10^i = d + 3dc\)。足し合わせると \(\sum d(i) 10^i = \sum d(i) + 3t\) の形になり（帰納法）、3 の倍数を足しても 3 で割り切れるかは変わらない。
\(\forall i \in \mathbb{M} . d ( i ) \in \mathbb{M} , n \in \mathbb{M} \Longrightarrow ( 3 \mid \sum_{ i \in ( 0 \mathinner{\ldotp\ldotp} n ) } d ( i ) \cdot 10 ^ i \Longleftrightarrow 3 \mid \sum_{ i \in ( 0 \mathinner{\ldotp\ldotp} n ) } d ( i ) )\) \(\blacktriangleleft\) \(\mathbb{W}.\) ，ax_s ，Ax1 ，Ax+ ，Ax⋅ ，Ax↑ ，AxΣ