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