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