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