SNNN素数
Definition (formal)
$ \forall x\in\mathbb{N}
.
$ x
がSNNN素数 :⇔
$ x\in\mathbb{S}\cap\mathbb{P}
.
#定義