18n+5番目のSNNN数は19を約数にもつ
Statement (formal)
$ \forall n\in\mathbb{N}. $ \exists k\in\mathbb{N}.\ n = 18k+5 \iff 19\mid S(n).
Proof
$ \mathbb{F}_{19}において10の位数は18, 10を底とした7/34の離散対数は5であるから, 倍数法則の存在に関する必要十分条件より成立. $ \Box
#倍数法則 #命題